"Hence it was determined that the unit of length taken should be the ‘mil,’
and that the decimal system should be adopted for expressing dimensions."
Using 'mil' to mean thousandth (not thousand) of an inch is discouraged.
One has to be careful with 'mil' since it's one of the common terms for milliradians. an SI unit...
https://en.wikipedia.org/wiki/Milliradian
Also the inferial artillery setters use it as an angular measure. However, to maintain the spirit of inferial confusion, they've "rounded" the 6283... milliradians in a circle to 6400. I suppose the (admittedly slight) error so induced is compensated with more explosive shells.
Bookmarks