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...

The can be used only automatically by compiler magic. 80 bit soft float support is only limited though. But I guess you can rip out the float80 to float64 code as it has some very liberal license.

Martin Frb via fpc-devel schrieb am Mi.,
10. Juli 2024, 19:21:

The SoftFpu unit is only intended for use by the compiler. If you want to use 80-bit floating point yourself you need to use ufloat80 and sfpux80 (the later wraps the same include files as SoftFpu, but for use by the user).

Regards,
Sven

Thanks. Now FpDebug can show the fpu st0..st7 registers.

I guess on Windows 64 they aren't used, except when cross debugging a 32bit target.
=> still needs work, as currently the value is handled as double in the IDE (less precision)