Fix Decimal typing with locales that do not use the dot as decimal point.

This fix allows the use of the numpad decimal point key in locales such as "es_ES.UTF-8".

Previously, pressing this key did nothing.