TINTEGER

CREATE DOMAIN TINTEGER AS INTEGER
         DEFAULT 0;