fixnum_value