PIXEL_TO_POINT   4087 src/font.c           plist[n++] = make_fixnum (PIXEL_TO_POINT (XFIXNUM (val) * 10, dpi));
PIXEL_TO_POINT   3116 src/sfntfont.c   point_size = PIXEL_TO_POINT (pixel_size, (dpyinfo->resx
PIXEL_TO_POINT   1614 src/xfaces.c         int point = PIXEL_TO_POINT (XFIXNUM (AREF (font, FONT_SIZE_INDEX)) * 10,
PIXEL_TO_POINT   2176 src/xfaces.c         int pt = PIXEL_TO_POINT (font->pixel_size * 10, FRAME_RES (f));