Major Section: ACL2-BUILT-INS
(acl2-numberp x) is true if and only if x is a number, i.e., a rational or complex rational number.
(acl2-numberp x)
x
