🚀 go-pugleaf

In article <1993Jan4.170125.3951@infodev.cam.ac.uk> ag129@cus.cam.ac.uk (Alasdair Grant) writes:
 > In article <1i9j4gEINN8nd@uni-erlangen.de> mskuhn@immd4.informatik.uni-erlangen.de writes:
 > >
 > >1 inch is 25.4000000 mm.
 > 
 > 1 SI inch is 2.54mm _exactly_, not just to 7 decimal places.
 > But the people who don't use ISO paper sizes don't use SI inches
 > either, they use NIST inches, which differ from SI inches well before
 > the 8th decimal place.  (I don't know the exact details - after all,
 > why should I know about American internal standards?)
 > 
Never knew this, but looked it up (in a British book, no less, from the
early 60s) and indeed, an US inch is ~25.4000509 mm (and not approx.
2.54 mm, Alasdair uses very small inches, or did he intend a deciinch?).
-- 
dik t. winter, cwi, kruislaan 413, 1098 sj  amsterdam, nederland
home: bovenover 215, 1025 jn  amsterdam, nederland; e-mail: dik@cwi.nl