Tcl_PrintDouble(3tcl) on Linux

The text 04f8574f0685, as Debian 3.0 (Woody), Debian 2.2 (Potato) shipped it.

Convert floating value to string

Tcl_PrintDouble(3tcl) on Linux now