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