More fixes in BigInt