Bug fixed in BigInteger_addTwoPositive