eval_binary_double  479 eval.c         	eval_binary_double(inter, env, operator,
eval_binary_double  484 eval.c         	eval_binary_double(inter, env, operator,
eval_binary_double  490 eval.c         	eval_binary_double(inter, env, operator,