These should be rational numbers. Use `S(123)/456`. See http://docs.sympy.org/latest/tutorial/gotchas.html#two-final-notes-and.