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

[Robert Dodier]

Hello,

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
6949954944958150)

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.

regards
Robert Dodier