4.58 Attribute Small_Denominator

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