Предикат = и математическое равенство

(= 3 3)
T
(= 3.0 0.3e1 30e-1)
T
(= 3 3.0)
T
(= 1.2 6/5)
NIL      ; плавающее в рациональное
(rational 1.2)
5404319552844595/4503599627370496
(+ 1.2 6/5)
2.4      ; рациональное в плавающее
(float 6/5)
1.2