The text 6b2665db3b05, as Debian 4.0 (Etch), Debian 3.1 (Sarge) shipped it.
Convert floating value to string
PrintDbl(3tcl) on Linux now
