By the way I was hoping this article would be either a device for milling ants into something useful (food? Varnish?) or a whimsical name for something that stamped out a huge number of small objects.
The actual definition turns out to be even more interesting.