Source position: gtkspinbutton.inc line 136
function gtk_spin_button_get_value_as_float(
spin_button: PGtkSpinButton
):gdouble;