A computer algebra system written in pure Python http://sympy.org/ . To get started to with contributing https://github.com/sympy/sympy/wiki/Introduction-to-contributing
sympify(0.0)
is sympy.core.numbers.Float
whereas S.false
is sympy.logic.boolalg.BooleanFalse