moved Rational specializations from NumericUtil to Ratonal