Most of my downstairs is slate floor which is "rough".
It's hard to clean, because the mop snags on the edges.
I don't clean it that often, just sweep/vacuum. DP (despite my grumbling), walks about on it with muddy boots. The dried mud sweeps up OK, but he's been working in clay this week, and there's white marks everywhere.
We're both past the age where we can go down on our knees to scrub it.
So looking for reccs for a bristly sort of mop that won't snag.
Once it's properly clean it will be sealed.
I'll add pics, it's not my actual floor but it's the same stuff.