A general question on this stuff - will Hatari's HW-backed FPU emulation benefit from any of these fixes, now or in future?
Exactness/precision isn't so much of an issue for the HW-backed emulation, as its usually a small price to pay for emulation speed - but condition codes and rounding control are important. If these can be kept correct without exploding the expense it would be a good thing...
D