European number formatting - comma as decimal point