@peemee There's always the comma as decimal separator option exercised by a good chunk of the world. ;)
Searching