import scas._
import Implicits.{QQ, infixUFDOps}
assert (Rational(1) + frac(1, 2) >< frac(1, 2) + Rational(1))
assert (frac(1, 2) + frac(3, 4) >< frac(5, 4))
assert (pow(frac(3, 2), 2) >< frac(9, 4))