[Top][All Lists]

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

[Gcl-devel] GCL 2.6.7 parses 12.3456d0 and 123.456d-1 as different numbe

From: Robert Dodier
Subject: [Gcl-devel] GCL 2.6.7 parses 12.3456d0 and 123.456d-1 as different numbers
Date: Sun, 1 Jul 2007 12:13:30 -0600


I claim 12.3456, 12.3456d0, 123.456d-1, 1234.56d-2, and 12345.6d-3
all designate the same IEEE 754 double precision float.

GCL 2.6.7 ANSI (Linux) disagrees:

(mapcar #'integer-decode-float '(12.3456 12.3456d0 123.456d-1
1234.56d-2 12345.6d-3))

(6949954944958149 6949954944958149 6949954944958150 6949954944958149

I didn't check any other floating point inputs (neither S nor E nor L,
nor any other specific combinations of digits).

I tried to report this via http://savannah.gnu.org/bugs/?group=gcl
but the "Bugs" javascript menu is rendered incorrectly in my browser
(Mozilla 1.4.1) such that I can't click "Submit" on the menu. FWIW.

Robert Dodier

reply via email to

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