FWIW, CSS uses a pretty similar hack - CSS pixels are defined in terms of a virtual 72 DPI resolution that does not correspond to screen pixels. In both cases,

FWIW, CSS uses a pretty similar hack - CSS pixels are defined in terms of a virtual 72 DPI resolution that does not correspond to screen pixels. In both cases, there are APIs available for DPI-aware apps which want to do something smarter, and the hack has been quite successful in supporting high DPI rendering while retaining backwards compatibility.