deprecate isl_int