Rational Type: