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