accurate floating - point summation part ii : sign , k - fold faithful and rounding to nearest .
MPFR: A multiple-precision binary floating-point library with correct rounding