Ada Programming/Attributes/'Model Mantissa

From Wikibooks, open books for an open world
Jump to navigation Jump to search

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]
SModel_Mantissa return universal_integer