German spoken decimals keep their comma

“Drei Komma fünf” produces 3,5 while ordinary list commas remain intact. Implemented in Windows, Android and macOS V3 test builds; public release pending.