Ada Programming/Attributes/'Model Emin

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

Description

[edit | edit source]

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 | edit source]
SModel_Emin return universal_integer