BS ISO/IEC 10967-1:2012

Foreword
Introduction
1 Scope
2 Conformity
3 Normative references
4 Symbols and definitions
5 Specifications for integer and floating
  point datatypes and operations
6 Notification
7 Relationship with language standards
8 Documentation requirements
Annex A (informative) - Partial conformity
Annex B (informative) - IEC 60559 bindings
Annex C (informative) - Rationale
Annex D (informative) - Example bindings for
        specific languages
Annex E (informative) - Example of a conformity statement
Annex F (informative) - Example programs
Bibliography

Describes properties of many of the integer and floating point datatypes available in a variety of programming languages in common use for mathematical and numerical applications.

This part of ISO/IEC10967 specifies properties of many of the integer and floating point datatypes available in a variety of programming languages in common use for mathematical and numerical applications. It is not the purpose of this part of ISO/IEC10967 to ensure that an arbitrary numerical function can be so encoded as to produce acceptable results on all conforming datatypes. Rather, the goal is to ensure that the properties of the arithmetic on a conforming datatype are made available to the programmer. Therefore, it is not reasonable to demand that a substantive piece of software run on every implementation that can claim conformity to this part of ISO/IEC10967. An implementor may choose any combination of hardware and software support to meet the specifications of this part of ISO/IEC10967. It is the datatypes and operations on values of those datatypes, of the computing environment as seen by the programmer/user, that does or does not conform to the specifications. The term implementation (of this part of ISO/IEC10967) denotes the total computing environment pertinent to this part of ISO/IEC10967, including hardware, language processors, subroutine libraries, exception handling facilities, other software, and documentation. 1.1 Inclusions This part of ISO/IEC10967 provides specifications for properties of integer and floating point datatypes as well as basic operations on values of these datatypes. Specifications are included for bounded and unbounded integer datatypes, as well as floating point datatypes. Boundaries for the occurrence of exceptions and the maximum error allowed are prescribed for each specified operation. Also the result produced by giving a special value operand, such as an infinity or a NaN (not-a-number), is prescribed for each specified floating point operation. This part of ISO/IEC10967 provides specifications for: The set of required values of the arithmetic datatype. A number of arithmetic operations, including: comparison operations on two operands of the same type, primitive operations (addition, subtraction, etc.) with operands of the same type, operations that access properties of individual values, conversion operations of a value from one arithmetic datatype to another arithmetic datatype, where at least one of the datatypes is conforming to this part of ISO/IEC10967, and numerals for all values specified by this part of ISO/IEC10967 for a conforming datatype. This part of ISO/IEC10967 also provides specifications for: The results produced by an included floating point operation when one or more argument values are IEC60559 special values. Program-visible parameters that characterise the values and certain aspects of the operations of an arithmetic datatype. Methods for reporting arithmetic exceptions. 1.2 Exclusions This part of ISO/IEC10967 provides no specifications for: Arithmetic and comparison operations whose operands are of more than one datatype. This part of ISO/IEC10967 neither requires nor excludes the presence of such \'mixed operand\' operations. An interval datatype, or the operations on such data. This part of ISO/IEC10967 neither requires nor excludes such data or operations. A fixed point datatype, or the operations on such data. This part of ISO/IEC10967 neither requires nor excludes such data or operations. A rational datatype, or the operations on such data. This part of ISO/IEC10967 neither requires nor excludes such data or operations. The properties of arithmetic datatypes that are not related to the numerical process, such as the representation of values on physical media. The properties of integer and floating point datatypes that properly belong in programming language standards or other specifications. Examples include: the syntax of numerals and expressions in the programming language, including the precedence of operators in the programming language, the syntax used for parsed (input) or generated (output) character string forms for numerals by any specific programming language or library, the presence or absence of automatic datatype coercions, and the consequences of applying an operation to values of improper type, or to uninitialised data, the rules for assignment, parameter passing, and returning value. NOTE— See Clause7 and AnnexD for a discussion of language standards and language bindings. The internal representation of values is beyond the scope of this standard. E.g., the value of the exponent bias, if any, is not specified, nor available as a parameter specified by this part of ISO/IEC10967. Internal representations need not be unique, nor is there a requirement for identifiable fields (for sign, exponent, and so on). Furthermore, this part of ISO/IEC10967 does not provide specifications for how the operations should be implemented or which algorithms are to be used for the various operations.