(let* ((t1 '(not (cons float t)))
       (t2 `(or (not (cons (eql 0)
                           (real -3.926510009989861d7 -3.926510009989861d7)))
                (not (cons t (eql 0))))))
  (subtypep t1 t2))