Another bug fixed in BigInteger_addTwoPositive