P3899R3

Clarify the behavior of floating-point overflow