NUMBER

Numerical values must always use the US notation: they are allowed to contain a decimal point and must not contain thousands-separators.

<question>3.1415</question>