Как известно, дюйм — это 25,4 мм, а линия, одна десятая дюйма, составляет ровно 2,54 мм. Уважаемые знатоки! Что обычно измеряют величиной, единица которой составляет 0,254 мм?