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

 on different machine