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