USB-IF defines their data rates in terms of link rate. So 5 Gbps after 8b10b encoding is 4 Gbps. Makes sense, since fastest transfers never exceed 500 MB/s over USB3. Same applies for the 128b/132b variant, except it's only a ~3% speed reduction, so it's much harder to see that in practical testing.