411 REFERENCE · Wikibooks
Ada Programming/Attributes/'Model Mantissa
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
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