S'Digits denotes the requested decimal precision for the subtype S. The
value of this attribute is of the type universal_integer
requested decimal precision of the base subtype of a floating point type
is defined to be the largest value of d
* log(10) / log(T'Machine_Radix)) + g
where g is 0 if Machine_Radix is a positive power of 10 and 1 otherwise.
operations of a floating point type include the assignment operation,
qualification, the membership tests, and explicit conversion to and from
other numeric types. They also include the relational operators and the
following predefined arithmetic operators: the binary and unary adding
operators – and +, certain multiplying operators, the unary operator
, and the exponentiation operator.
NOTE 2 As for all types, objects
of a floating point type have Size and Address attributes (see 13.3
Other attributes of floating point types are defined in A.5.3