Symbolic dynamics for geodesic floes