How the “meter” came to be one meter long