PetScan::extract_int: use isl_val_int_from_chunks