Unsoundness in arithmetic betwen infty and Z

[Dashadower]

$\infty + -\infty, 0 \times \infty$
is undefined but wrongly computed as $\pm \infty$ and $0$.
Make an undef/NaN value to reprenset such spurious values.