(defun foo (x)
(setf y (the single-float (the integer x)))
(list y y)))
(foo 3) => error "3 is not of type SINGLE-FLOAT"
(foo 3f0) => (3f0 3f0)
I've checked it in 0.7.0 and 0.7.7. CMUCL 18d signals an error "... is
not of type NIL" in both cases.