mm or inches on US-made machinery?