external micrometer, DIGITAL INDUSTRIAL MICROMETER, DIGIMATIC MICROMETER, digital measuring tool