Correctly Rounded Arbitrary-Precision Floating-Point Summation
MPFR: A multiple-precision binary floating-point library with correct rounding