> And 1/10 of an inch is a very common distance in electronics (PCBs)

I hope you can guess why that is, right? It could have just as well been .25cm instead.