Rename float_python.rst to float_python.txt