If I remember correctly, 8.7mmx72 is actually 9.3mmx72. Bore = 8.7mm to 8.75mm, and groove = 9.3mm. And of course, 72mm long case.

The practice with some manufacturers was to mark down the bore size instead of the normally used groove size.