Skip to content
Snippets Groups Projects
Commit 4958e03b authored by rtoy's avatar rtoy
Browse files

o Fix the float printer to print correctly:

     (float -54965272/1000000000000000000)

  was printing as -5.496527e-11 but should be -5.4965272e-11

o Fix the float reader to read correctly, without roundoff:

  4.0058643e+8 was incorrectly read as 12518325, 1
  (integer-decode-float results).  It should be 12518326,1.

o Fix the float reader to read floats correctly with unusual values of
  *read-base*:

    (let ((*read-base* 2))
      (read-from-string "-4.3e+7"))

  used to return a symbol instead of a float.

This changes ported from SBCL.
parent f2b840db
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment