1.5. How can I change the decimal notation used by the Workbench?
The notation used by Workbench in reports, tables and wizards is determined by the 'locale' settings of your system. By default, the Workbench stores the locale of your computer as the locale to use. This locale setting determines whether a dot (.) or a comma (,) will be used as the decimal separator.
So, for example, if your machine has a Danish locale setting, then the locale setting of your Workbench will, by default, be Danish as well - and the decimal separator will consequently be a comma.
If you wish to change the locale setting for your Workbench you can do so under
Edit | Preferences | General - Locale Setting