Symbol: to_tcf_nat