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