--- /usr/bin/xfce4-screensaver-configure 2019-08-25 18:51:46.000000000 +0300 +++ xfce4-screensaver-configure 2020-01-08 19:36:16.006814995 +0200 @@ -80,7 +80,7 @@ return self._set_property("bool", prop, value) def get_double(self, prop, default): - return float(self._get_property(prop, default)) + return locale.atof(self._get_property(prop, default)) def set_double(self, prop, value): return self._set_property("double", prop, value)