eval_binary_double  445 eval.c         	eval_binary_double(inter, env, operator,
eval_binary_double  450 eval.c         	eval_binary_double(inter, env, operator,
eval_binary_double  456 eval.c         	eval_binary_double(inter, env, operator,