Update bignum to the latest version