Formatting numbers shown in header using Flask-Babel

Fixes #6