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