quot
FixedPointIsIntegral FloatPointIsIntegral