fixed bignums