Version encoding.