Re: [Python-Dev] Shorter float repr in Python 3.1?