static BigInteger mul(BigInteger a, BigInteger b) {
  ret a.multiply(b);
}