Double end file

A file having both ends cut for service.