Correctly Rounded Arbitrary-Precision Floating-Point Summation
ULTIMATELY FAST ACCURATE SUMMATION