Use isl_val instead of isl_int