sse_encode_u_64 method
Implementation
@protected
void sse_encode_u_64(BigInt self, SseSerializer serializer) {
  // Codec=Sse (Serialization based), see doc to use other codecs
  serializer.buffer.putBigUint64(self);
}@protected
void sse_encode_u_64(BigInt self, SseSerializer serializer) {
  // Codec=Sse (Serialization based), see doc to use other codecs
  serializer.buffer.putBigUint64(self);
}