An asymptotically fast version of java.math.BigInteger