[resonator]

Actually, I take it back. As I said earlier, I mostly use vintage imperical hand tools. I've just been looking into modern metric tools and I'm finding that they're actually imperial, as in they come in sizes like 0.25"/3.2mm. So long as they're not rounding them to whole millimeters, they'll have the same ratio as the imperical tools.

I guess you can use whatever number system you care for.

Thank you for making me think about this.