formatting: specify integer instead of fixnum as bignums are supported.