Florida Governor Ron DeSantis proposed to allocate $750 million to enable a “crypto-friendly Florida.”