I didn't say they were using just one address. I was saying they are putting 100s or 1000s of customers behind one single address (which is happening in Europe for years already, with UPC for example). Of course they have several IPv4 addresses.

It really doesn't matter. The result is the same.