Aunque no estoy al 100% seguro, me voy a arriesgar a dar una respuesta.
En UK usan, como ya sabes, las pulgadas, inches, como unidad de medida. Para los decimales, tampoco usan el sistema decimal como nosotros, sino que utilizan 1/2, 1/4, 1/8, 1/16, 1/32 y 1/64.
Pues bien 5 x 1/32 de pulgada son 3,9688 milímetros.
Supongo que viene de ahí, porque en los componentes de electrónica se usa mucho las pulgadas y sus divisores como unidades de medida. Aunque me extraña un poco que el redondeo debería ser 3,97. Pero quizás simplemente se trunca para simplificar.
