Eric, your diagnostic looks right, format() gets confused when it tries
to remove padding characters to account for the added thousands
separators. It does not check that there were padding characters in the
first place, and it assumes that the thousands separator is not a space
character itself.

Since Georg Brandl and Martin von Loewis are listed as co-authors, I add
them to the cc list ;)