[erlang-bugs] Math library defect?

[Matthew Dempsky]

(This is dated two days ago, but it just showed up in my inbox.)

On Thu, May 15, 2008 at 8:50 AM, Tony Finch <dot@REDACTED> wrote:
> On Thu, 15 May 2008, John Haugeland wrote:
>> I believe I have found a defect in the math library.
>
> You have just discovered that floating point numbers have limited precision.

That's irrelevant here.  2^{56} and 2^{57} can be represented exactly
using IEEE-754 double precision floating point numbers.