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