Searching for links to CauchySequence:
RationalNumber
RealNumber