New Raspberry pi pico board and chip, RP2350! Has floating point, two cores, more adc, pio

Did you mean RP2350 ?