[issue1580] Use shorter float repr when possible

[Guido van Rossum]

Guido van Rossum <guido at python.org> added the comment:

Here's a fixed patch, float2.diff. (The previous one tasted of an
earlier attempt.)

Added file: http://bugs.python.org/file10840/float2.diff

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue1580>
_______________________________________