external get_upper : [>`adjustment] obj -> float
      = "ml_gtk_adjustment_get_upper"