Add refinements for Rational