I inherited a bunch of these wrenches from my grandpa, a set of open end wrenches and deep offset box end wrenches. Also, there are a few sockets like this, they're all old Williams, which makes it kinda extra neat to me.
I did a little bit of google fu, I think they're just one size up...