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