What controls the decimal delimiter?

[Marc Balmer <marc@...>]

I am hunting a strange problem….

When I output a number value, e.g. 42.0, it is normally output with a decimal point.

On one particular platform, however, it is output with a comma, i.e. „42,0“.

What controls that?  It happens during the conversion of a number to a a string, apparently.

Setting LC_NUMERIC on the command line, e.g. like this, changes nothing:

$ LC_NUMERIC=de lua -e ‘print(42.0)’

(Neither does setting LANG, LC_ALL,  LANGUAGE)