DecimalComma is ignored when loading state file

[netizen-7]

Steps to reproduce:
Set DecimalComma as decimal separator.
Save a state file: DecimalComma is included in the file.
Load the same state file: DecimalDot is set as decimal separator.

[netizen-7]

Tested on DB50X v. 0.9.19 on iPhone.