Ada Programming/Attributes/'Model Mantissa

Description

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

S’Model_Mantissa return universal_integer