Advertisement

Floating-Point Formats and Environment

  • Jean-Michel Muller
  • Nicolas Brisebarre
  • Florent de Dinechin
  • Claude-Pierre Jeannerod
  • Vincent Lefèvre
  • Guillaume Melquiond
  • Nathalie Revol
  • Damien Stehlé
  • Serge Torres
Chapter

Abstract

Our main focus in this chapter is the IEEE1 754-1985 Standard for Floating-Point Arithmetic [10], and its recent revision [187]. A paper written in 1981 by Kahan, Why Do We Need a Floating-Point Standard? [202], depicts the rather messy situation of floating-point arithmetic before the 1980s. Anybody who estimates that the current standards are too constraining and that circuit and system manufacturers could build much more efficient machines without them should read that paper and think about it. Even if there were at that time a few reasonably good environments, the various systems available then were so different that writing portable yet reasonably efficient numerical software was extremely difficult.

Keywords

Single Precision Binary Encode Interchange Format Decimal Format Exponent Range 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Boston 2010

Authors and Affiliations

  • Jean-Michel Muller
    • 1
  • Nicolas Brisebarre
    • 1
  • Florent de Dinechin
    • 2
  • Claude-Pierre Jeannerod
    • 3
  • Vincent Lefèvre
    • 3
  • Guillaume Melquiond
    • 4
  • Nathalie Revol
    • 3
  • Damien Stehlé
    • 5
  • Serge Torres
    • 2
  1. 1.CNRS, Laboratoire LIPÉcole Normale Supérieure de LyonLyon Cedex 07France
  2. 2.ENSL, Laboratoire LIPÉcole Normale Supérieure de LyonLyon Cedex 07France
  3. 3.INRIA, Laboratoire LIPÉcole Normale Supérieure de LyonLyon Cedex 07France
  4. 4.INRIA Saclay – Île-de- FranceParc Orsay UniversitéOrsay CedexFrance
  5. 5.CNRSMacquarie University, and University of Sydney School of Mathematics and Statistics University of SydneySydneyAustralia

Personalised recommendations