I. , I. Standard-for-binary-floating-point, A. /. Arithmetic, and . Ieee, in seconds) ratios args g double MPFR SIPE, SIPE, 1985.

P. Kornerup, V. Lefèvre, N. Louvet, and J. Muller, On the computation of correctly-rounded sums, INRIA, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00475279

L. Fousse, G. Hanrot, V. Lefèvre, P. Pélissier, and P. Zimmermann, MPFR, ACM Transactions on Mathematical Software, vol.33, issue.2, 2007.
DOI : 10.1145/1236463.1236468

URL : https://hal.archives-ouvertes.fr/inria-00070266

I. /. For-standardization, IEC 10967-1: Information technology ? Language independent arithmetic ? Part 1: Integer and floating point arithmetic. International Organization for Standardization, 1994. timings (in seconds) ratios args g double MPFR SIPE, International Organization

J. Muller, N. Brisebarre, F. De-dinechin, C. Jeannerod, V. Lefèvre et al., Handbook of Floating-Point Arithmetic, pp.978-978, 2010.
DOI : 10.1007/978-0-8176-4705-6

URL : https://hal.archives-ouvertes.fr/ensl-00379167

G. W. Veltkamp, ALGOL procedures voor het berekenen van een inwendig product in dubbele precisie, RC-Informatie, 1968.

D. Knuth, The Art of Computer Programming, 1998.

O. Møller, Quasi double-precision in floating point addition, BIT, vol.7, issue.6, pp.37-50, 1965.
DOI : 10.1007/BF01975722

V. Lefèvre, SIPE: Small Integer Plus Exponent, 2013 IEEE 21st Symposium on Computer Arithmetic, 2011.
DOI : 10.1109/ARITH.2013.22

P. Kornerup, C. Lauter, V. Lefèvre, N. Louvet, and J. Muller, Computing correctly rounded integer powers in floating-point arithmetic, ACM Transactions on Mathematical Software, vol.37, issue.1, 2010.
DOI : 10.1145/1644001.1644005

URL : https://hal.archives-ouvertes.fr/ensl-00278430