They have a side length of 0.125". What is their diameter (widest dimension across)? Measuring with a ruler, it looks like ~4 mm, but does anybody have a more exact number?
For a drillbit, I use 11/64".
The shafts are square, so you can multiply 1/8" by the square root of 2 to get a diameter.