More passing specs for bignums.