There actually are a few Crocs in the far southern areas around the "tip" of FL, and around the lower keys; at least some have been reported by the fish and wildlife dept. They prefer the brackish waters and/or near salt water conditions.

The gators we see, even around the big ponds here on the golf course are fairly lethargic, at least in daytime. They recently caught (and probably killed after dragging it away), an 11.5 footer at the "lake" on our #17th hole; it supposedly had charged some ol'lady walking her dog.

I don't swim with them, nor give them any provocation; diving with sharks
is seemingly much less risky, to me, in our experiences.