411 REFERENCE · Wikibooks
Ada Programming/Attributes/'Safe First
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
Description
Returns lower bound of the safe range.
Yields the lower bound of the safe range (see 3.5.7) of the type T. If the Numerics Annex is not supported, the value of this attribute is implementation defined.
The value of this attribute is of the type universal_real.
Example
S’Safe_First return universal_real