add isl_int_abs_cmp