The documentation currently says that it's an error for any of the three
expressions given to check-range to produce an inexact number. But
inexact numbers are exactly what check-range is intended for, and it's
not actually an error to use it on them:
(check-range pi (sub1 pi) (add1 pi))
(check-range pi pi pi)
The documentation currently says that it's an error for any of the three expressions given to
check-rangeto produce an inexact number. But inexact numbers are exactly whatcheck-rangeis intended for, and it's not actually an error to use it on them: