Florida’s population exceeds 23 million for the first time.