Can you buy all of Miami real estate with 1 BTC in 2032? Asking for a friend.