I see a strange change to Axis_Set_Labels_Style in Gtk.Extra.Plot. Why was Style changed from Plot_Label_Style to Gint? I want Label_Float but that's not a Gint. Manuel