[Python-ideas] float vs decimal