Since DDR5 has on-chip ECC bits they could just include those in the marketing number.