public static void Encode(IByteWriter stream, Int64 encodedInt64) { XdrEncoding.EncodeInt64(encodedInt64.InnerValue, stream); }