Fix for GUI: Floating-point numbers need to be written with a dot, not a comma.