#51 Inconsistent use of decimal separator

[Cletus Itambi]

Inconsistent use of decimal (e.g predicted shifts): sometimes "comma" and others with “point”

[Stefan Kuhn]

Is . now everywhere