Bugs fixed in BigInteger class