Update float_python.txt