EXTERNAL DIGITAL MICROMETER, DIGITAL MICROMETER, ELECTRONIC OUTSIDE MICROMETER, DIGIMATIC MICROMETER