passes all of fixnum_test