Handbook of Floating-Point Arithmetic - Jean-Michel Muller (Birkhäuser Boston, 2010)