Numbers are broken

[nwolverson]

Erlang numbers do not admit NaN or infinity values, and division by zero raises an error. The types in the EuclidianRing instance div :: Number -> Number -> Number is thus a lie.

Options:

1. Remove the EuclidianRing instance (and maybe provide a div that is in Effect or returns a Maybe)
2. Represent Number as something like number() | nan | infinity | minusinfinity with corresponding code on all operations

I suspect that really both make sense and the question is which gets to be called Number here.

[drathier]

I have an untested but carefully written implementation of f64 math in erlang, adding +inf, -inf and NaN. If anyone wants it as a baseline for implementing this, I'd be happy to send it. I'm in the purescript discord, @ me in the #purerl channel. I'm not entirely convinced it wouldn't move the problem elsewhere, though; any other erlang code that thinks it's getting a float might now get an atom.

[nwolverson]

At this point I feel like a different type (Int53 style) might be the better option