really fix float rounding on 32-bit platforms
[sbcl.git] / contrib / sb-simple-streams / lp491087.txt
1 0123