Craftsman forged arbor wrench

[nz44tool]

Here are a couple of interesting Craftsman items I just acquired - a forged arbor wrench and a suspiciously similar double open-end. Neither has any markings other than the Craftsman brand. They were in the same toolbox at a flea market; they look like they might be a set.
The double open-end sizes are 7/8" and 9/16" (actually closer to 19/32").
The single box-end fits the arbor nut on my Craftsman 113.24280 table saw - 1 1/16".
Has anyone else encountered these? (I had another one of the single box-ends a while ago, but the other one is new to me.)

 

[RTM]

Screams table saw tools to me, as you discovered with the one. Does the7/8” DOE opening fit the inner shaft flats? Maybe not for your saw, but is it close? The 9/16 might fit the belt adjustment belt on the right saw.

My Craftsman TS has stamped steel wrenches.

 

[nz44tool]

Screams table saw tools to me, as you discovered with the one. Does the7/8” DOE opening fit the inner shaft flats? Maybe not for your saw, but is it close? The 9/16 might fit the belt adjustment belt on the right saw.

My Craftsman TS has stamped steel wrenches.

Thanks, RTM - yeah, I was already sure the single box-end is an arbor nut wrench. Lotta stamped ones around, from many makers, but this forged one seems to be pretty rare.
It's that other wrench that's interesting me - no size markings, style identical style to the box-end one, thin profile. Probably intended for table saws as well. I wonder if they're in a catalog somewhere; I couldn't find either one with my crappy search skills.
BTW, my old saw doesn't seem to have inner shaft flats (that I can see, anyway). I just jam the blade with a piece of wood and then I can loosen the nut.

 

[3baygarage]

I've seen a number of them over the years, but never with the power tool. Usually in with some wrenches. Probably have a 4 or 5 of the different wrenches myself. This one is near.

 

[nz44tool]

Yep, looks like the one I have - is it about 12-3/8" long?