I_pushdouble      567 eval/eval-cogen-expr.cpp 				cogen->I_pushdouble(cogen->emitDouble(value));
I_pushdouble      177 eval/eval-cogen.h 	void I_pushdouble(uint32_t index);