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.