(most_positive_fixnum, most_negative_fixnum): New