To a machinist, a tenth of a millimeter is a yawning gulf.