Comma and dot keys should both work as decimal point

[Andreas]

Some countries use dot, others use comma as decimal point.
Both comma and dot keys should work on the keyboard as decimal point.