external micrometer, digital measuring device, digital measuring tool