[Date Prev][Date Next][Thread Prev][Thread Next]
- Subject: Re: At the edge of LNUM patch
- From: Roberto Ierusalimschy <roberto@...>
- Date: Tue, 25 Mar 2008 09:59:12 -0300
> 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...