I would be curious to know more precise numbers. My intuition suggests that when Sony sells millions of them, the number diverted for non-gaming purposes is maybe thousands or tens of thousands.

Nearly 90 million units by the time it was discontinued, but I'm not sure how many were sold at the point they removed Linux support.