I’d say yes to both. The .25 I worked on was marked 6.35mm
And you already know .32 calculates to ~8.1mm