0.935 sounds like a 6 bore to me given my 8 bore is 0.835. I have always assumed the 4 bore was around 1.052 as you mentioned - could well be proven wrong though!