BigInteger: update comments and add test case