BS ISO/IEC 11729:1994

Foreword
Introduction
1. Scope
2. Normative reference
3. Subprograms provided
4. Instantiations
5. Implementations
6. Machine numbers and storable machine numbers
7. Denormalized numbers
8. Exceptions
9. Specifications of the subprograms
9.1 EXPONENT - Exponent of the Canonical Representation
     of a Floating-Point Machine Number
9.2 FRACTION - Signed Mantissa of the Canonical
     Representation of a Floating-Point Machine Number
9.3 DECOMPOSE - Extract the Components of the Canonical
     Representation of a Floating-Point Machine Number
9.4 COMPOSE - Construct a Floating-Point Machine Number
     from the Components of its Canonical Representation
9.5 SCALE - Increment/Decrement the Exponent of the
     Canonical Representation of a Floating-Point Machine
     Number
9.6 FLOOR - Greatest Integer Not Greater Than a Floating-
     Point Machine Number, as a Floating-Point Number
9.7 CEILING - Lease Integer Not Less Than a Floating-
     Point Machine Number, as a Floating-Point Number
9.8 ROUND - Integer Nearest to a Floating-Point Machine
     Number, as a Floating-Point Number
9.9 TRUNCATE - Integer Part of a Floating-Point Machine
     Number, as a Floating-Point Number
9.10 REMAINDER - Exact Remainder Upon Dividing One
     Floating-Point Machine Number by Another
9.11 ADJACENT - Floating-Point Machine Number Next to
     one Floating-Point Machine Number in the Direction
     of a Second
9.12 SUCCESSOR - Floating-Point Machine Number Next Above
     a Given Floating-Point Machine Number
9.13 PREDECESSOR - Floating-Point Machine Number Next
     Below a Given Floating-Point Machine Number
9.14 COPY SIGN - Transfer of Sign from One Floating-Point
     Machine Number to Another
9.15 LEADING_PART - Floating Point Machine Number with
     its Mantissa (in the Canonical Representation)
     Truncated to a Given Number of Radix-Digits
ANNEXES
A. Ada specification for GENERIC_PRIMITIVE_FUNCTIONS
B. Rationale
B.1 Introduction and motivation
B.2 History
B.3 Packaging
B.4 Implementation permissions
B.5 Accuracy requirements
B.6 Discussion of individual subprograms
B.7 Relationship to other standards
B.8 Influence on Ada 9X
C. Bibliography

Specifies primitive functions and procedures for manipulating the fraction part and the exponent part of machine numbers of the generic floating-point type. Coverage includes: subprograms provided, instantiations, implementations, denormalized numbers, and machine numbers and storable machine numbers. Also gives detailed annexes.