RATIONALP

recognizer for rational numbers (ratios and integers) 
Major Section:  ACL2-BUILT-INS

(rationalp x) is true if and only if x is an rational number.