CAN/CSA-ISO/IEC-10967-1-96 (R2009)

The international community has decided to make this standard available only in the English language version. It has been adopted as a National Standard of Canada on this basis. This National Standard of Canada is equivalent to International Standard ISO/IEC 10967-1:1994. 1 Scope This part of ISO/IEC 10967 defines the properties of integer and floating point data types on computer systems to ensure that the processing of arithmetic data can be undertaken in a reliable and predictable manner. Emphasis is placed on documenting the existing variation between systems, not on the elimination of such variation. The requirements of this part of ISO/IEC 10967 shall be in addition to those that may be specified in other standards, such as those for programming languages (See clause 7). It is not the purpose of this part of ISO/IEC 10967 to ensure that an arbitrary numerical function can be so encoded as to produce acceptable results on all conforming systems. Rather, the goal is to ensure that the properties of arithmetic on a conforming system 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/IEc 10967. An implementor may choose any combination of hardware and software support to meet the specifications of this part of ISO/IEC 10967. It is the arithmetic environment, as seen by the user, that does or does not conform to the specifications. The term implementation (of this part of ISO/IEC 10967) denotes the total arithmetic environment, including hardware, language processors, exception handling facilities, subroutine libraries, other software, and all pertinent documentation. 1.1 Specifications included in this part of ISO/IEC 10967 This part of ISO/IEC 10967 defines integer and floating point data types. Definitions are included for bounded, unbounded, and modulo integer types, as well as both normalized and denormalized floating point types. The specfication for an arithmetic type includes a) The set of computable values. b) The set of computational operations provided, including 1) primitive operations (addition, subtraction, etc.) with operands of the same type, 2) comparison operations on two operands of the same type, 3) conversion operations from any arithmetic type to any other arithmetic type, and 4) operations that access properties of individual values. c) Program-visible parameters that characterize the values and operations. d) Procedures for reporting arithmetic exceptions. NOTE - A.1.3 describes planned future work in this area. 1.2 Specifications not within the scope of this part of ISO/IEC 10967 This part of ISO/IEC 10967 provides no specifications for a) Arithmetic and comparison operations whose operands are of more than one data type. This part of ISO/IEC 10967 neither requires nor excludes the presence of such "mixed operand" operations. b) A general unnormalized floating point data type, or the operations on such data. This part of ISO/IEC 10967 neither requires nor excludes such data or operations. c) An interval data type, or the operations on such data. This part of ISO/IEC 10967 neither requires nor excludes such data or operations. d) A fixed point data type, or the operations on such data. This part of ISO/IEC 10967 neither requires nor excludes such data or operations. e) A rational data type, or the operations on such data. This part of ISO/IEC 10967 neither requires nor excludes such data or operations. f) The properties of arithmetic data types that are not related to the numerical process, such as the representation of values on physical media. g) Floating point values that represent infinity or non-numeric