Symbol: convert_num