Device pixels per layout point, re-announced to every layout script.
void displayScale(double scale);