Miss Dada  🏳️‍⚧️

Did not realize that 0 * Infinity is NaN. Anyone know why that wouldn't be expected to be 0?

0 * x = 0, Infinity * x = Infinity -- who wins? NaN it.

x already has additional bounds in the infinity case though. Could just as easily be Infinity * x = Infinity when finite, nonzero

This is the general pattern of indeterminate forms; two "rules" apply, so we throw up our hands in disgust: https://en.wikipedia.org/wiki/NaN#Operations_generating_NaN …

Fair enough. I guess I assumed that the math backed up the 0 case, but it appears not to

the fact that Infinite is a "value" and that 1/0 produces it is already a fairly disgusting abuse, depending on who you ask.

Somewhat more defensible in the context of IEEE754 if you think of 0 as also including underflow and Inf including overflow.