It looks like there is an issue with printing floating point numbers in the
more recent versions of SBCL (tried 1.0.25, and 1.0.24).
It is not possible to print 1.0E14 as 1.0E14!
* (princ-to-string 1.0E14)
This is what I would expect:
> (princ-to-string 1.0E14)
It seems like CLHS 184.108.40.206.3 expects the same thing too:
"at least one digit after the decimal point"
Any ideas how to work around / fix this problem in SBCL??