Yeah, according to most of the articles reporting on this there are over a billion ESP32s out there. I suspect that the 1 billion number is actually counting the ESP8266 as well, but still there are a lot of them and I see them used in a lot of "real" products.