We´ve been using 9.5 mm as a dimension for cutting holes in sheet metal to be used for M6 rivet nuts while using a plasma cutter. Now we have changed to a laser cuter which is far more precise so we want to have less clearance between the hole and the rivet nut and thus ensure the rivet is applied better.

So, we have lots of designs using 9.5 mm. But they are not assigned to a global variable or property.