Re: At the edge of LNUM patch
[
Date Prev][
Date Next][
Thread Prev][
Thread Next]
[
Date Index]
[
Thread Index]
- Subject: Re: At the edge of LNUM patch
- From: Roberto Ierusalimschy <roberto@...>
- Date: 2008年3月25日 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...
-- Roberto