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