isl_stream_read_obj: return isl_obj_val instead of isl_obj_int