I found this vintage hand tool in an old tool chest that belonged to my great grand father. He was a carpenter and could turn his hand to most things, I believe, however I am puzzled by this particular tool. Is it a tool for working leather or wadding? I wondered if it might be some sort of...