[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 |
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
- [Gcl-devel] GCL 2.6.7 parses 12.3456d0 and 123.456d-1 as different numbers,
Robert Dodier <=