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