FIAT now depends on Sympy