Configuring Decimal/Thousands Separator

Hello :slight_smile:
I was wondering what are the options to configure decimal/thousands separator. I’m currently seeing numbers formatted the US way and I would like to change it.
Is this inherited from the server locale? I didn’t find an environment variable and I couldn’t find any setting at the user level.

Any help is appreciated!

Thank you,
Marco