Add . defineFiniteNumberType() and . defineIntegerNumberType()