8030942: Explicitly state floating-point summation requirements on non-finite inputs

Reviewed-by: psandoz