Goffioul Michael wrote: >>(format t "~G" most-positive-long-float) >> >> >Not a number. >Broken at FORMAT. > >Is this a bug? > Yes. I have fixed it. The problem was that (EXPT 10.0l0 308) failed since the routine computed too many powers and in particular 10^512, which was afterwards discarded. Juanjo