On Fri, 1 Jun 2007 21:28:38 +0100, Andy Hall
wrote:
Most of mine are 12,7mm with a few 6,35mm.

Is there any real significance in this '12·7mm' and '6·35mm' stuff?

Why not ½ or ¼ inch, which it really is?

--
Frank
Foot, pint and pound are perfectly sound.