GEdit.spin_button(3o) on Linux

The text 32078f11b225, as Debian 3.1 (Sarge) shipped it.

Retrieve an integer or floating-point number from the user

GEdit.spin_button(3o) on Linux now