Yeah, even though that unit is a thousandth of an inch, it’s called mils rather than milli-inches.

There’s also a difference between imperial miles and nautical miles, though I’m not sure if British long distance ships use nautical miles or not.