(defun bug123a (p2 p3) (declare (optimize (speed 3) (safety 1) (debug 2) (space 3)) (type fixnum p3)) (>= 0 p2 p3))
(bug123a -1/2 0) ==> T (>= 0 -1/2 0) ==> NIL
x86-64, "2.3.0.209-0c11aa3ff"
Bug watches keep track of this bug in other bug trackers.