Correctly-rounded summation of any number of Floats: functions computing a slice’s sum with a single rounding at the end, and the Sum implementations built on them.
Float
Sum