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);