Britain once forgot how long an inch is