This is a library which adds single-precision IEEE 754 floating point operations. It provides the implementation for internal GCC calls. This means that the "float" type can be used in C programs without any additional effort.
I've tried to make this library as small as possible, but at the same time tried to avoid writing a cryptic mess.
All code has been tested and should be error-free, but let me know if anyone finds a bug somewhere.