Comment 3 for bug 412416

FWIW I would argue that that is an Allegro bug -- assuming :IEEE-FLOATING-POINT is in *FEATURES* -- since

 (let ((x <nan>)) (= x x))

should never be true under IEEE FP arithmetic.