Source position: gtkspinbutton.inc line 123
procedure gtk_spin_button_set_value(
spin_button: PGtkSpinButton;
value: gdouble
);