Texas Instruments (Ondo Tokenized) price today, TXNON to USD live price, marketcap and chart | CoinDesk