add isl_int_submul_ui