The text 2080de2daa8d, as Debian 2.0 (Hamm) shipped it.
manipulate Tcl objects as floating-point values
Tcl_GetDoubleFromObj(3tcl) on Linux now
