PetScan::extract_int: return isl_val