BigInteger: fix previous fix