What is a punch-cutting tool, or machine for deepening and enlarging the spaces between the teeth of a worn saw called?

gummer — A punch-cutting tool, or machine for deepening and enlarging the spaces between the teeth of a worn saw. (Webster's 1913.)

Sources