added lifting of Rational literals