Hi,
Angaben in mil sind milli-inch.
Also 1/1000 Zoll.
mil * 2,54 = mm
Ich bin mir aber auch nicht sicher, welche Einheit da ausgegeben wird.
Ich tippe auf mil...

MfG Alex