Florida holds ‘$800 million in crypto-related investments,’ says state CFO