Printing out numbers with separators

[elshize]

In logs keeping track of, say, number of documents processed, it would be very beneficial to print big numbers with separators, e.g., 10,000,000 instead of 10000000.

[amallia]

Agreed!