;; Illustration of bug in SBCL 1.0.55 (i686 32 bit Linux)

(defun f (a b)
  (declare (type (integer 10426258413 15407988560) a))
  (declare (type (integer 1349674600 6061829967) b))
  (declare (optimize (speed 1) (space 0) (safety 1) (debug 0)
             (compilation-speed 1)))
  (rem 0 (min -24 (- (rem (complex b 0) (min -78 a)) 359))))

(defun doit ()
  (f 14323426722 4758026478))


;; (doit) ==> The value 4758026478 is not of type REAL.