Encode serialization version in binary model format.