That document is for the "CodeWarrior Development Studio". It is a commercial product that costs $395/year for the basic version.
The best description of the library is probably that it follows the C89 and C99 language specifications.
I asked:
>> Your compiler should supply a Floating Point library. What do you need that's different?
It would help me to help you if you would answer that question.
Any C compiler for that CPU comes with a floating point library. I would suggest:
http://www.codesourcery.com/sgpp/lite_edition.html
Are you trying to code everything in assembly or something?
Tom