[micropolis] / src / tclx / ucbsrc / tclexpr.sed

/#include "tclint.h"/a\
\#include "tclxint.h"

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