eval_binary_double  352 eval.c         	eval_binary_double(inter, operator,
eval_binary_double  358 eval.c         	eval_binary_double(inter, operator,
eval_binary_double  364 eval.c         	eval_binary_double(inter, operator,