Some CPUs cast a float to a double for processing because the FPU works with doubles. In those cases the float type is provided just for more compact storage. I am new to the ESP32, and I spent some time looking at the data sheet and the core files, but couldn't find the details there. It's just that there is a lot of stuff to go through for one fact.