Ada Programming/Attributes/'Model Emin

Description

edit

Model number version of S”Machine_Emin.

Yields the smallest (most negative) value of exponent such that every value expressible in the canonical form (for the type T), having a mantissa of T'Machine_Mantissa digits, is a machine number (see 3.5.7) of the type T.

This attribute yields a value of the type universal_integer.

Example

edit
SModel_Emin return universal_integer