DIGIMATIC MICROMETER, DIGITAL MICROMETER, outside micrometer, EXTERNAL DIGITAL MICROMETER, ELECTRONIC OUTSIDE MICROMETER