[Python-Dev] Proposal: make float.__str__ identical to float__repr__ in Python 3.2