update isl for isl_val_int_from_chunks