scan.cc: compute_wrapping: use isl_val