Circular file

A small file having a circular cross section.