The text 18585857b7ec, as Debian 6.0 (Squeeze) shipped it.
Convert floating value to string
Tcl_PrintDouble(3tcl) on Linux now
