STM32单片机中的浮点运算编译后的代码增大了

在STM32中 做浮点运算 还真麻烦  本以为浮点数作为32位的   在32位的单片机中很容易运算呢  一看 编译后的代码增大了 很多  这个  aeabi_fadd  在什么地方 怎么找不到