On Sun, Aug 30, 2009 at 10:12:06PM +0200, Nicolas Cellier wrote:
> 
> 2009/8/29 David T. Lewis <lewis at mail.msen.com>:
> > On Sat, Aug 29, 2009 at 12:18:18PM -0300, Juan Vuletich wrote:
> >>
> >> I never found a clear specification of the meaning of ?'12 point', and
> >> I'm totally for making the fonts behave properly.
> >
> > http://en.wikipedia.org/wiki/Point_(typography)
> >
> > 72 points = 1 inch
>
> I thought it was 72.27

Nicolas,

You are absolutely right. The discrepancy is apparently due to my having
less than four significant figures worth of linear precision on my computer
screen ;-)

Thanks for the correction, also noted in Subbu's excellent reply earlier
today.

Dave