I'm going to have to fall in line behind Steven and agree with him. Actually I've seen more 0.358"+/- diameter 9.3X72R, or other 360 BPE based, than I have the actual 9.3mm variant. But that bore diameter of 118/35 is almost always a telltale sign of the smaller diameter.

Kind Regards,

Raimey
rse