Rainer wrote:
> In article
> <eb9c4b9a0705042311i136d68dfq13102a094ccd96a0 at mail.gmail.com>,
> "Robert Dodier" <robert.dodier at gmail.com> wrote:
> > 5.2d0 is exactly representable as a double float.
> > What does (INTEGER-DECODE-FLOAT 5.2d0) return?
>
> MAXIMA 17 > (INTEGER-DECODE-FLOAT 5.2d0)
> 5854679515581645
> -50
> 1
> > I think it should be (7934570312500000 16 1) because
> > 7934570312500000 * 2^16 = 520000000000000000000.
> > I'm thinking maybe 5.2d20 causes trouble here because
> > 5.2d<foo> is not exactly representable for some value of
> > <foo> ... just guessing here.
In every common lisp I could try (clisp, ecl, sbcl, abcl gcl and cmucl)
(INTEGER-DECODE-FLOAT 5.2d0) gives me the same result, namely
5854679515581645
-50
1
'Andreas