Florida CFO says state portfolio holds $800 million in crypto investments: CNBC.