After all it seems that there is at least one person related to OS4 who has understood the technical aspects of that kind of incompatible FPU.
But still ... Why would you choose this CPU for your custom-tailored hardware and your preferred OS in the first place if you are aware of all that extra software work ?
At least I don't have a reasonable answer to all that since this is way too much extra work for too little benefit in the end IMHO ....