Fixed issue #8478: Numerical sliders don't use the configured decimal separator