Fix issue with result of BigInteger addition being ignored