Ada Programming/Attributes/'Model Mantissa
Description
[edit | edit source]Model number version of S’Machine_Mantissa.
Yields the largest value of p such that every value expressible in the canonical form (for the type T), having a p-digit mantissa and an exponent between T'Machine_Emin and T'Machine_Emax, is a machine number of the type T. This attribute yields a value of the type universal_integer.
Example
[edit | edit source]S’Model_Mantissa return universal_integer