{ return static_cast<int>(s.toFloat() * PANGO_SCALE * (72.27 / 72.0)); }
{ return round(s * PANGO_SCALE * (72.27 / 72.0)).toInt(); }
  static int toPangoPixels(const scaled& s)  { return static_cast<int>(s.toFloat() * PANGO_SCALE * (72.27 / 72.0)); }