emitDouble        140 eval/eval-abc.cpp 			doubleBuf.emitDouble(d);
emitDouble        567 eval/eval-cogen-expr.cpp 				cogen->I_pushdouble(cogen->emitDouble(value));
emitDouble        209 eval/eval-cogen.h 	uint32_t emitDouble(double value);	// cpool index
emitDouble        130 eval/eval-util-inlines.h 	out = avmplus::RTC::emitDouble(out, v);
emitDouble         65 eval/eval-util.h uint8_t* emitDouble(uint8_t* out, double d);
emitDouble        186 eval/eval-util.h 	void emitDouble(double d);