pūmĭcātor

ōris, m.

pumico

I. a polisher, scourer: pumicator, σμήκτης, Gloss. Cyril.
Lewis & Short
A Latin Dictionary, 1879
An open-access project