Handbook Of Floating-Point Arithmetic by Jean-Michel Muller, Nicolas Brisebarre & Vincent Lefevre