586   gdouble hratio;  in exo_gdk_pixbuf_scale_down()  local
606       hratio = (gdouble) source_height / (gdouble) dest_height;  in exo_gdk_pixbuf_scale_down()
608       if (hratio > wratio)  in exo_gdk_pixbuf_scale_down()
609         dest_width  = rint (source_width / hratio);  in exo_gdk_pixbuf_scale_down()
634   gdouble hratio;  in exo_gdk_pixbuf_scale_ratio()  local
647   hratio = (gdouble) source_height / (gdouble) dest_size;  in exo_gdk_pixbuf_scale_ratio()
649   if (hratio > wratio)  in exo_gdk_pixbuf_scale_ratio()
651       dest_width  = rint (source_width / hratio);  in exo_gdk_pixbuf_scale_ratio()
682   gdouble  hratio;  in size_prepared()  local
694           hratio = (gdouble) height / (gdouble) info->max_height;  in size_prepared()
696           if (hratio > wratio)  in size_prepared()
698               width = rint (width / hratio);  in size_prepared()