Ada Programming/Attributes/'Fixed Value

Description
For every fixed-point type,   denotes a function with the following specification: The value returned is the fixed-point value   such that: The effect is thus similar to first converting the argument to the integer type used to represent  , and then doing an unchecked conversion to the fixed-point 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 input-output functions for fixed-point values.