Update BigInt.java