Handbook of Floating-Point Arithmetic