Use 1 to test type fixnum as most-positive-fixnum may differ on different machine