Add eval_double.h into headers