pumicator

pūmĭcātor, ōris, m. [pumico],

• a polisher, scourer: pumicator, σμήκτης, Gloss. Cyril.