evalue_isl.c: div2evalue: use isl_val