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