I picked up a DOE wrench that's in rough shape. I can make out 3 on one side of an end and the other side is marked 57/64" and the opposite end is marked 47/64". Sorry I didn't have time to photograph it tonight. I've never seen these sizes on a wrench. Sooooo, who made it and when? What would these odd sizes be made for?