/	    sprintf(interp->result, "%g", value.doubleValue);/c\
	    Tcl_ReturnDouble (interp, value.doubleValue);