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