Yeah even NASA doesn't need that many bits. Ken said it himself: https://news.ycombinator.com/item?id=40971913

Espressif did finally added back an FPU to the ESP32-S3. (The original ESP32 also has one).

They tried, with the H- and P- lines to effectively make it a paid extra over the regular productions. At least they accepted when the market disagreed.

But they can, it's just not accelerated by hardware built specifically for the task