static bool bigIntBiggerThan(BigInteger a, BigInteger b) {
  ret a.compareTo(b) > 0;
}