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