prec_spinbutton = new GEdit.spin_button (GtkEdit.SpinButton.cast (Glade.get_widget_msg ~name:"prec_spinbutton" ~info:"GtkSpinButton" xmldata))