Support comma as decimal separator without dots

[GrimPixel]

In the current settings, the comma is the decimal separator, only when the dot is used for groupping. There should be two settings: Decimal separator and group separator, and the two are not allowed to be the same.