The text 799bbf7fdf39, as Debian 7 (Wheezy) shipped it.
manipulate Tcl objects as floating-point values
Tcl_NewDoubleObj(3tcl) on Linux now
