Wow, I had a hell of a moment there. I think I multiplied 25mm-per-inch (woodworker rule of thumb, I work in metric in the shop and .4mm isn't a big deal) and flipped it around in my head.

This is why you measure twice, cut once. Gonna go walk into the sea now.