X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Ffloat.lisp;h=a3a0114a7f752f74f4a94239572b150d64baef9a;hb=11aa29a68039d6fb3cf41d67352a6b263b1094b6;hp=3b5690b15d997f4eff494d9ed55226f62f3b08f3;hpb=60e2497894748d137b6b3ef3e50f34627c15dffb;p=sbcl.git diff --git a/src/code/float.lisp b/src/code/float.lisp index 3b5690b..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.