The factoid I learnt in my childhood of an inch being 2.539954cm is now wrong?