Recognizer for print bases that are understood by functions such as explode-nonnegative-integer and explode-atom.
Function: print-base-p
(defun print-base-p (print-base) (declare (xargs :guard t)) (and (member print-base '(2 8 10 16)) t))
