Tcl_TakeBignumFromObj • man page