some stuff that may be handy in the early stage of developing the floating
point support:

-------------------------------------------------------------------------------

find the floating point library in libsrc/float/softfloat