4.59 Attribute Small_Numerator

typ'Small_Numerator for any fixed-point subtype typ yields the numerator in the representation of typ'Small as a rational number with coprime factors (i.e. as an irreducible fraction).