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