[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: asserting the equality of double values

From: Kevin Ryde
Subject: Re: asserting the equality of double values
Date: Tue, 18 Sep 2007 10:13:32 +1000
User-agent: Gnus/5.110007 (No Gnus v0.7) Emacs/22.1 (gnu/linux)

"Nelson H. F. Beebe" <address@hidden> writes:
> Subtracting one produces a significant of all
> 1-bits:  2**53 - 1 = +0x1.fffffffffffffp+52,


> and that is the
> next-to-largest exactly representable whole number in this arithmetic
> system.  Its floor is identical, so "x == floor()" is true.

Well, it's supposed to be.  I think I put in that test.  If it's failing
on alpha someone will want to dig around and see how it went wrong.  It
ought to be pretty simple, all the values are integers, so no rounding
at all (and it hasn't even reached the actual scm_c_round).

reply via email to

[Prev in Thread] Current Thread [Next in Thread]