史実のイギリスは、mmとインチ、どっちを採用してたっけ?