Symbol: check_num_func