I had a 25/32" old craftsman socket that I traded recently to a guy for something I thought was a little more usable in my tool kit. Before I let this odd ball size go I did the math and that is about 19.8mm, so I figured that if I ever needed a 25/32" I could always just use my 20mm