Display numbers with commas

Forma numbers > 9999 with commas every three digits, to make them
more legible.

Feel free to reject if you disagree!