Am 14.08.2024 um 23:49 schrieb Cottrell, Allin:
I can confirm this (bad, unintended) behavior, but it's limited
to the
combination of Windows + you're operating in a locale that specifies
the decimal comma by default, but choose to use the decimal dot. On
Linux it works as intended: both "set force_decpoint on" and "set
force_decpoint off" do nothing if the decimal dot is already selected,
either because it's native to the locale or the user has registered a
preference for the dot. Locale issues are difficult in Windows due to
their non-standard legacy specification. However it ought to be
possible to fix this (I hope).
Thanks, Allin, that's good to hear, because this special case (not using
the local separator) is probably not super-common.
cheers
sven