privately export isl_set_set_rational