pumicator

A New Latin Dictionary by Charlton T. Lewis Ph.D. and Charles Short, LL. D.

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

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