ACL2-NUMBERP

recognizer for numbers
Major Section:  PROGRAMMING

(acl2-numberp x) is true if and only if x is a number, i.e., a rational or complex rational number.