We discovered this flooring in the porch about 8 years ago when we took the old carpet up. We have 2 front doors and rarely use this one so it’s been pretty much forgotten about but I’m now so bored that I’m working my way round the house doing odd jobs. Could it be Terrazzo? How would I clean it up - it’s very dull, probably has 100 years of ground in dirt and has carpet glue round the edges? Should it then be sealed?