Symbol: tnum_cast