Description: The nonnegative integers are a subset of the rationals. (Contributed by NM, 31-Jul-2004)