Thanks Ville, very helpful. I put it on the task list to override the decimal separator. I’m going to investigate changing my own phone’s locale so I can see what European users see.