ISO/IEC 60559:2020 PDF

Overview

ISO/IEC 60559:2020 (equivalent to IEEE Std 754-2019) is the international standard for floating-point arithmetic in information technology. It specifies binary and decimal interchange formats, arithmetic operations, exception conditions and their default handling, and rules that make numerical results and exceptions uniquely determined by input values, operation sequence, and destination formats. Implementations may be in hardware, software, or hybrid form. The standard is the definitive reference for portable, predictable floating-point behavior across platforms.

Key Topics

• Floating-point formats Defines interchange encodings for binary and decimal floating-point data, extended and extendable precisions, and format parameters required for interoperability.
• Operations and conversions Normative descriptions of arithmetic, comparison, conversion (including conversion to integers and character sequences), and recommended higher-level operations.
• Rounding and attributes Specifies rounding-direction attributes and dynamic modes that control rounding behavior for reproducible results.
• Exceptions and default handling Covers the defined exception classes (invalid operation, division by zero, overflow, underflow, inexact) and their default responses and flags.
• NaNs, infinities, and sign bit semantics Detailed rules for NaN payloads, operations with infinities, and sign-bit handling.
• Alternate exception handling Optional immediate and delayed handling modes for special environments.
• Reproducibility & expression evaluation Rules and recommendations to support reproducible floating-point results across compilers and platforms.
• Informative guidance Annexes include lists of operations, debugging support, and bibliographic references.

Applications

Who uses ISO/IEC 60559:2020 and why:

• Hardware designers - to implement compliant FPUs and SoC arithmetic units ensuring cross-vendor interoperability.
• Compiler and runtime developers - to guarantee predictable code generation for arithmetic, rounding, and exception semantics.
• Language standards committees (C, C++, Fortran, Java, etc.) - to align language-level numeric behavior with a portable standard.
• Library authors & numerical analysts - to build math libraries, numerical algorithms, and simulations with well-defined rounding and exception behavior.
• Financial, scientific, and safety-critical systems - where deterministic and reproducible results, correct exception handling, and decimal arithmetic are essential.
• Embedded systems and verification teams - for conformance testing and validating mixed hardware/software implementations.

Practical benefits include increased portability, interoperability, determinism, and reproducibility of floating-point computations across platforms and toolchains.

Related Standards

• IEEE Std 754-2019 (same text / dual-logo)
• IEC/ISO joint publications and JTC1 SC25 outputs relevant to information technology interconnection and numeric formats.
• Programming language standards that reference IEEE 754 for numeric semantics (as implementation guidance).