From the ESP32-S31 datasheet: "Single-precision floating-point unit (FPU) per core"