Attempt to fix bignums