P.: MPFR: A multiple-precision binary floating-point library with correct rounding (2007)

by L Fousse, G Hanrot, V Lefèvre, P Pélissier, Zimmermann
Venue:ACM Trans. Math. Softw