Added support for softfloat library (not tested)