add binary_int and binary_double in eval.c