Rational{Int64} variables in JuMP?

Do you know what’s the best solver to use when working with nonlinear constraints and integer variables?