evalue_isl.c: extract_base: use isl_val