PIXEL_TO_POINT   4061 src/font.c           plist[n++] = make_fixnum (PIXEL_TO_POINT (XFIXNUM (val) * 10, dpi));
PIXEL_TO_POINT   1577 src/xfaces.c         int point = PIXEL_TO_POINT (XFIXNUM (AREF (font, FONT_SIZE_INDEX)) * 10,
PIXEL_TO_POINT   2139 src/xfaces.c         int pt = PIXEL_TO_POINT (font->pixel_size * 10, FRAME_RES_Y (f));