Maybe this is interesting for some: a speedtest with double precision in Wokwi simulator.
It shows that the community build for the Raspberry Pi Pico is very good and the ESP32 is three times slower in the real world: Virtual Online Arduino and ESP32 Simulator - Wokwi Arduino Simulator features - #17 by Koepel