sympy.Real -> sympy.Float