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