Re: At the edge of LNUM patch

[Roberto Ierusalimschy <roberto@...>]

> One has to live with all kinds of weird things
> even when using standard FP alone.
> 
> Let x be  FP number with x~=x+1, but y==y+1 for y=x+1. Then
> assert(x+1==y+1) -- passes
> assert(x==y) -- fails

This is a quite different kind of weird thing. It only means that
increment is not an injective function.

Besides, the idiosyncrasies of IEEE floating point are well studied (one
can say they were even well designed) and documented. To add a new set
of idiosyncrasies into Lua arithmetic opens a whole new world...

-- Roberto