"If you ask if this character is a digit in base-11, SBCL reports that it is:" . . . .