3.5.8 Operations of Floating Point Types

1. The following attribute is defined for every floating point subtype S:
2. S'Digits

   S'Digits denotes the requested decimal precision for the
   subtype S. The value of this attribute is of the type
   universal_integer. The requested decimal precision of the
   base subtype of a floating point type T is defined to be the
   largest value of d for which ceiling(d * log(10) /
   log(T'Machine_Radix)) + 1 <= T'Model_Mantissa.
   

   
   

   NOTES
   

3. (34) The predefined 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 abs, and the exponentiation operator.
4. (35) As for all types, objects of a floating point type have Size and Address attributes, See section 13.3 Representation Attributes. Other attributes of floating point types are defined in See section A.5.3 Attributes of Floating Point Types.

Go to the first, previous, next, last section, table of contents.