Decimal Point or Comma

 From:  Paolo (PAOLOLOBBIA)
2933.1 
Hi Michael,

For example when i want to modify the diameter of a circle from
100,2mm to 100mm i open the EDIT SIZE tab and add -0,2 after 100,2000.
The result is 2,0000mm which is not what i expect.
Playing around i discovered that the right input is 100.2mm-0.2mm.

The mixed use of a comma delimitor and a decimal point is a bit confusing.
Wouldn't it be better to use only a decimal point as delimiter?
Image Attachments:
Size: 13.9 KB, Downloaded: 6 times, Dimensions: 261x211px
Size: 13.9 KB, Downloaded: 4 times, Dimensions: 262x191px
Size: 13.7 KB, Downloaded: 6 times, Dimensions: 262x193px
Size: 13.6 KB, Downloaded: 5 times, Dimensions: 263x192px