Lewis & Short

pūmĭcātor, ōris, m. [pumico], a polisher, scourer: pumicator, σμήκτης, Gloss. Cyril.