Much faster BigInteger.mul.