Publishing May 2025

This book provides an easily accessible, yet detailed, discussion of computer arithmetic as mandated by the IEEE 754 floating point standard, arguably the most important standard in the computer industry. The result of an unprecedented cooperation between academic computer scientists and industry, the standard is supported by virtually every modern computer. Although the basic principles of IEEE floating point arithmetic have remained largely unchanged since the first edition of this book was published in 2001, the technology that supports it has changed enormously.

Every chapter of the book has been extensively rewritten, and two new chapters have been added: one on computations with higher precision than that mandated by the standard, needed for a variety of scientific applications, and one on computations with lower precision than was ever contemplated by those who wrote the standard, driven by the massive computational demands of machine learning.

The second edition of numerical computing with IEEE Floating Point Arithmetic

• contains many technical details not readily available elsewhere, along with new exercises;

• explores the rationale for floating point representation, correctly rounded arithmetic, exception handling, and support for the standard provided by floating point microprocessors and programming languages;

• discusses key concepts such as cancellation, conditioning and stability;

• emphasizes historical development, from the early history of computing, through the 2008 and 2019 revisions of the floating-point standard, to the latest advances in microprocessor support;

• includes a previously unpublished letter by Donald E. Knuth on the value of gradual underflow, a key requirement of the standard.