Major Section: PROGRAMMING

(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