Source position: gtkspinbutton.pp line 94
procedure gtk_spin_button_set_value(
spin_button: PGtkSpinButton;
value: gfloat
);