publish new version of bignum