Ada Programming/Attributes/'Integer Value

Description
For every integer type,   denotes a function with the following spec: The value returned is the integer value  , such that: where   is the type of. The effect is thus similar to first doing an unchecked conversion from the fixed-point type to its corresponding implementation type, and then converting the result to the target integer type. The difference is that there are full range checks, to ensure that the result is in range. This attribute is primarily intended for use in implementation of the standard input-output functions for fixed-point values.