Add float support to the math library

[Joël Porquet]

In usual libc, there are at least two ways of doing this:

• providing float wrappers which will only cast the arguments and the result: it changes nothing to the memory consumption though (double are still used inside math functions)
• providing real float functions (NetBSD seems to have files we can reuse)