eval_num() nit.