public static void Encode(IByteWriter stream, Uint64 encodedUint64) { XdrEncoding.EncodeUInt64(encodedUint64.InnerValue, stream); }