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.