I know the older wooden ships used to "sand" with stone those decks frequently- they were not varnished or finished with a clear coat. When wood decks were applied over steel armor, were they still sanded frequently that way? I understand on the old ships they were sanded to make them non-slip since painted or varnished surfaces were slippery when wet.