DIGIMATIC MICROMETER, EXTERNAL DIGITAL MICROMETER, outside micrometer, DIGITAL MICROMETER