[erlang-bugs] Math library defect?

Matthew Dempsky <>
Sat May 17 20:38:32 CEST 2008

(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 <> 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.

More information about the erlang-bugs mailing list