Tcl_PrintDouble • man page