static Rat rat_noSimplify(long a, long b) {
  ret new Rat(bigint(a), bigint(b), false);
}