Source position: gtkspinbutton.inc line 121
function gtk_spin_button_get_value(
spin_button: PGtkSpinButton
):gdouble;