This document describes some of the subtleties the decimal character under Microsoft Windows 10 especially when using a comma on a European system.