Any hints on using unit SoftFpu? (or any alternative) I have an 80 bit float (from an external source) that needs to be converted to double. But if I do uses softfpu, ufloatx80 then I get Error: Multiple defined symbol "INT32_TO_FLOAT64" and many more...