Incorrect result w. integer comparisons

[Paul F. Dietz]

This is on x86-64

(defun f (a b)
  (declare (type (integer -85 6256) a))
  (declare (type (integer -14791607263799215929 14584958923992435760) b))
  (let ((v2 (abs b)))
     (if (> a v2)
         a
         (if (>= a v2)
             a
             0))))

(defun bug091 ()
  (f 3448 10787348803985068423))

(bug091) ==> 3448 (should be 0)

[Paul F. Dietz (paul-f-dietz)]

I am not seeing any more failures on this in random testing.