Improve hashing of bignums