most-positive-fixnum is that fixnum closest in value to positive infinity provided by the implementation,
and greater than or equal to both 2^15 - 1 and array-dimension-limit.
most-negative-fixnum is that fixnum closest in value to negative infinity provided by the implementation,
and less than or equal to -2^15.