The text 726d7e2cbaae, as Debian 8 (Jessie) shipped it.
manipulate Tcl values as floating-point values
Tcl_NewDoubleObj(3tcl) on Linux now
