DIGIMATIC MICROMETER, ELECTRONIC OUTSIDE MICROMETER, DIGITAL MICROMETER