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