static BigInt factorial_bigint(int i) {
  BigInt n = 1;
  while (i > 1) n = mul(n, i--);
  ret n;
}