add isl_int_fits_slong