addDouble          71 eval/eval-abc.h 	uint32_t addDouble(double d);
addDouble          42 eval/eval-cogen-inlines.h inline uint32_t Cogen::emitDouble(double d) { return abc->addDouble(d); }