external get_value : [>`adjustment] obj -> float
      = "ml_gtk_adjustment_get_value"