1. J. -M. Muller, N. Brisebarre, F. de Dinechin, C. -P. Jeannerod, L. Vincent, G. Melquiond, N. Revol, D. Stehlé, and S. Torres, Handbook of floating-point arithmetic, Birkhäuser, Boston, MA, 2009, pp. 660.