external micrometer, digital measuring tool, digital measuring device