Better BigInteger.div.