removed claim that Python floats are doubles