Hi Andrea,
I am not aware of any library that Freescale provides. For standard floating point math, you should just be able to include math.h, declare float variables, and perform the math. That library should be a part of most IDEs. For more complicated functions (like computation of trigonometric functions, matrix math, vector math, filtering functions, etc.,), I suggest trying the ARM CMSIS DSP library.
Hope this helps,
Chris