It does appear you're the victim of rounding. The drill file doesn't
use the extra digits, so we should probably pre-round before grouping.
The question I have is where the rounding happened. My assumption is it
was in the dialog where you adjust the active sizes. I can take a look
there and see if I can reproduce this.