X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Ffloat.lisp;h=a3a0114a7f752f74f4a94239572b150d64baef9a;hb=829ced3e78a23ba153ba4db64e6ea6984c2313b6;hp=483a6cfd90d624c96547c675c96b3a2d14615e4c;hpb=8754394dc238f6932935bf46490b2206c2a33344;p=sbcl.git

diff --git a/src/code/float.lisp b/src/code/float.lisp
index 483a6cf..a3a0114 100644
--- a/src/code/float.lisp
+++ b/src/code/float.lisp
@@ -170,7 +170,7 @@
 (defun float-radix (x)
   #!+sb-doc
   "Return (as an integer) the radix b of its floating-point argument."
-  (declare (ignore x))
+  (declare (ignore x) (type float x))
   2)
 
 ;;;; INTEGER-DECODE-FLOAT and DECODE-FLOAT
@@ -630,7 +630,7 @@
   (frob %long-float long-float))
 
 ;;; Convert a ratio to a float. We avoid any rounding error by doing an
-;;; integer division. Accuracy is important to preserve read/print
+;;; integer division. Accuracy is important to preserve print-read
 ;;; consistency, since this is ultimately how the reader reads a float. We
 ;;; scale the numerator by a power of two until the division results in the
 ;;; desired number of fraction bits, then do round-to-nearest.
@@ -816,8 +816,8 @@
                                  (cond
                                    ((> fractional-bits 0.5bits) (1+ shifted))
                                    ((< fractional-bits 0.5bits) shifted)
-                                   (t (if (oddp shifted) (1+ shifted) shifted)))))
-                    ))
+                                   (t (if (oddp shifted) (1+ shifted) shifted))))
+                               shifted)))
              (if (minusp number)
                  (- rounded)
                  rounded)))))))