Uint64Vec: Codec<NumLike[], bigint[]> = ...