CL-USER> (= (* (sqrt 10) (sqrt 10)) 10)
T
почему?
Для каких-то float'ов получается так.
Имплементация Common Lisp может иметь всего одно представление float'ов, и тогда оно должно быть single-float. Поэтому неудивительно если по умолчанию используется single-float. У SBCL на популярных компах такие single-float, что получаются необычные округления, люди это замечают.