On 5/5/07, Rainer Joswig <joswig at lisp.de> 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
Sorry, my mistake. I asked the wrong question. I meant to say,
What does (INTEGER-DECODE-FLOAT 5.2d20) return?
Sorry for the confusion,
Robert