eval_binary_double  458 eval.c         	eval_binary_double(inter, env, operator,
eval_binary_double  463 eval.c         	eval_binary_double(inter, env, operator,
eval_binary_double  469 eval.c         	eval_binary_double(inter, env, operator,