[issue1600] str.format() produces different output on different platforms (Py30a2)

[Eric Smith]

Eric Smith added the comment:

Checked in as r60909.  I started with Mark's patch, but added code to
both increase or decrease the number of zeros, as needed.

__________________________________
Tracker <report at bugs.python.org>
<http://bugs.python.org/issue1600>
__________________________________