Он самый. Что касается FPU, то он есть в аппаратном процессорном
ядре ARC EM4, которое живет в семействе GW1NRF (которое
BluetoothFPGA): The ARC also included a FPU compliant with the
IEEE754-2008. Ну и еще - дождемся семейства GW5AT (обещают анонсировать к концу года) - может там и появится ARM'овское ядро с FPU (а может нет - пока никакой информации по этому поводу не раскрывают).