Tcl_GetIntFromObj(3tcl) on Linux

The text 14067a6e7e3d, as Debian 4.0 (Etch) shipped it.

manipulate Tcl objects as integers and wide integers

Tcl_GetIntFromObj(3tcl) on Linux now