Re: At the edge of LNUM patch

[Klaus Ripke <paul-lua@...>]

On Tue, Mar 25, 2008 at 06:39:17PM +0900, Alex Davies wrote:
> I'm pretty sure Roberto understands -why- it's happening, it's just a 
> question of whether:
> 
> assert(x == y) -- passes
> assert(x+1 == y+1) -- fails
> 
> is acceptable.

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


cheers