Question about Donau Diamond needle file set

There is a round file: This measures 1mm in diameter at the tip and 3mm at the thickest part. Then there is an "oval" file: This one measures approx. 1mm x 1.3mm at the tip and approx. 2.8mm x 4.3mm at the thickest part.

Thank you very much for your answers!

Measured at the tip, the round file is 1.5mm , at the back it goes to 4.3mm.

The set includes a round file with a diameter of 3mm.

I guess about 3-4mm, but I can't say exactly.