This is only intended to be used by automatically generated code, instead of developers.
BigInt dcoDecodeU64(int raw) => BigInt.from(raw).toUnsigned(64);