All punch bit is positive tolerance +0.05mm, like 6mm, you get the bit is 6.05mm.
About processing,
1, Use drill bit to make a hole, like B25T, you should use drill bit to do a hole 4.2mm. 2, Use punch bit B25T to working in the hole, at first, cutting feed slowly, like 300-500 is ok. if working good, you can set the speed to 800-1000 is ok.
If you have any problem in the working, feel free to contact with me, thanks.