A little extra info. The fractionation of the whole numbers for bore diameter happened in 1887. Previously the number 12 covered bore sizes from .729 to .751. 13 covered .710 -.729 etc.


Better to keep your mouth shut and be thought stupid,than open it and confirm.