Enforce English locale for decimal formatting in config-file.