add isl_int_mul_si