> the soft fpu being benchmarked in the alb42 link referred to below
> was the Free Pascal soft fpu.

I understand it was the new ASM SoftFPU. The FreePascal SoftFPU was benchmarked a month earlier:

https://blog.alb42.de/2017/05/28/to-fpu-or-not-to-fpu/