In other words it converts points (measurement used in the Font Dialog) to pixels (measurement returned by $window().fontsize).

Still, a .ptfontsize property for $window() wouldn't hurt.