How to switch from decimal comma to decimal point?

Hello everyone,
I live in Germany but I prefer to use decimal points to using decimal commas. Is there a way to change this? I could not find such an option in locale.
I do not want to change date format or anything else, just replace decimal point with comma.

All yaml uses decimal point already, so it is just a UI problem.

Thank you all

I think what you need is under your profile (click on your name) and then “Number Format”…



Ah, perfect, thank you. I was searching in settings and locale :see_no_evil: