Banal: Possibly broken leading detection about hotcrp

[FreakyPenguin]

Impressive as usual! Thanks for getting to the bottom of this.

Yikes, now I know much more than I ever needed to know, as usual with TeX... And of course it has to be 1/72.27... duh.

(Let's hope ACM does not find out about this and makes us all change our regular points to big points before accepting our future camera readies. ;-) )

[kohler]

Thanks for posting a PDF!

This is probably at root a difference between TeX’s notion of pt and everyone else’s.

Knuth decided that 1pt was exactly 1/72.27 inch. PostScript decided that 1pt was exactly 1/72 inch. Everyone else—Mac Preview, Word, etc. etc. etc.—went with PostScript because that’s obviously better, I mean come on.

If you set \baselineskip=12pt, that gives a line height of 0.1660 inches, which corresponds to a leading using the better point measurement of 11.955. If you set \baselineskip=12bp (tex's better-points unit), or use 12pt in any system other than tex, that gives a line height of 0.1666 inches (= 12.045 tex points)

See attached example.ltx. With \baselineskip=12pt, banal reports leading of 11.9pt. With \baselineskip=12bp, it reports 12pt.

The leading on a tex document really is less than 12pt because of Knuth derp. There is a rounding issue that maybe I can tweak but now you know you're getting away with something.

[kohler]

example.tex.txt