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