DIGIMATIC MICROMETER, DIGITAL INDUSTRIAL MICROMETER, external micrometer