5/64" (which is effectively 2mm as mentioned above), which is the diameter of the pin punch found in every issued cleaning kit.
you get three guesses as to why that punch, in that issued cleaning kit, is that diameter. and the first two guesses don't count.