Which is still not what you want as floating point numbers do not cover all possible rationals. When the input is done correctly sympy can deal with arbitrary rationals as well.