Symbol: _ti_decode_num