They don't have an FPU in the RP2040, what they have is a collection of optimized software FP routines baked into the chips ROM. You can see the code here:

https://github.com/raspberrypi/pico-bootrom/blob/master/boot...