One ambiguity resolved: decimal symbol in front of number is a separator