Source position: gtkspinbutton.inc line 115
procedure gtk_spin_button_set_digits(
spin_button: PGtkSpinButton;
digits: guint
);