Even if you ask your students to use the decimal point there are always som students using decimal comma. In this case it is not possible to specify alternative typing with decimal comma because the comma is is used as separator of different alternatives.

It should be possible to use another separator of alternatives, for example the semicolon (;).