The text 131712dec383, as Debian 9 (Stretch), Debian 8 (Jessie) shipped it.
Convert floating value to string
Tcl_PrintDouble(3tcl) on Linux now
