[Python-ideas] Rough draft: Proposed format specifier for a thousands separator (discussion moved from python-dev)

[Eric Smith]

Guido van Rossum wrote:
> Ick, the discrepancy between the behavior of locale.format() and PEP
> 378 is unfortunate. I agree that the given width should include the
> commas, but I strongly feel that leading zeros should be comma-fied
> just like everything else.

And what happens when the comma would be the first character?

,012,345
0012,345

or something else?