[brucehoult]

Most microcontrollers sold don't have hardware floating point, but they seem to be useful. I'd bet the Cortex M0 and M3 vastly outsell the M4F.

The RP2040 didn't have floating point. It is/was popular.