This PostgreSQL trick for number formatting in psql just came in handy: stackoverflow.com/a/30022920/7012