[Python-Dev] Re: Documenting Python's float.__str__()