Add currency_thousands_separator and currency_decimal_mark config options

This fixes an issue in #2632 where the incorrect decimal mark was being used