Round or half-round files sold by radius?
Files are not a precision tool, so they come in a big variation of sizes. If you want a specific size, there are numbered drill bits , letter drill bits and fractional drill bits. Each drill bit above has a ream to make it exact size.