EXTERNAL DIGITAL MICROMETER, outside micrometer, ELECTRONIC OUTSIDE MICROMETER