Correctly Rounded Arbitrary-Precision Floating-Point Summation
accurate floating - point summation part ii : sign , k - fold faithful and rounding to nearest .