Floating-Point Arithmetic Nicolas Brisebarre Florent de Dinechin Claude-Pierre Jeannerod Vincent Lefèvre Guillaume Melquiond Jean-Michel Muller Nathalie Revol Damien Stehlé Serge Torres Laboratoire LIP, Projet Arénaire CNRS, INRIA, École Normale Supérieure de Lyon 46 Allée d’Italie 69364 Lyon Cédex 07 F RANCE March 31, 2009