[請益] 修補磨石子地板的縫隙,要用水泥還是石材填縫劑?

各位前輩大家好, 小妹最近在整理家中老屋, 遇到一些不知該如何處理的問題.

家裡地板是老式磨石子地板,但已經有些裂痕和磨損, 還有小石頭洞如照片
這些地方防水效果也變差, 拖地的時候磨損的地方明顯很慢才乾...

想請問這樣的縫隙孔洞適合用什麼材料修補呢? 因為範圍不大, 加上疫情在家, 想要DIY修補一下。
上網找了一下有一種叫做石材填縫劑的東西,但好像沒看過拿來填磨石子地板,不知道能不能用
還是說直接補水泥? 可是我只有要填小縫小洞。 尤其小洞那個,不知該如何處理比較好

填完之後是不是還要再打磨拋光, 有在考慮入手一套手持打拋。
先感謝大家了~

(密集恐懼症者請小心服用)