Make better use of the function Tcl_ObjPrintf().