> The sentence I quoted isn't talking about string inputs, it's talking about > values that are already floats. The fact that you can't create one from a > string cast doesn't seem relevant, if you have in fact created one some other > way.
Ah yes, my bad. I just updated the RFC page with your previous comments. Also, I changed examples of INF and NAN to return true with "is_representable_as_float()". The example of the float overflowing to infinity (2**1024) is also updated to return true. Best, Alexandre Daubois