Not sure about this. Integral subtypes Rational and should have numerator and denominator properties. I don't think we have those (yet).