object(GTK.SpinButton) GTK.SpinButton()->set_value(float to)
Set the value.
Extracted from Pike v7.3 release 11 at 2001-11-03.