Modern Computer Arithmetic - Richard P. Brent, Paul Zimmermann (Cambridge Monographs on Applied and Computational Mathematics, 2012)