如何验证MPC5744P FPU是否正常工作？

我想知道是否启用了 MPC5744P 浮点单元？
我参考了一些帖子并将我的 S32DS 设置为如下所示，是否正确？以及如何选择合适的库支持

谢谢~！