* that's interesting

I wonder if any manufacturers have done this work already (in a way that is publicly visible) but I don't necessarily know who or what. 

I think math functions have relatively simple function signatures / types / etc. - not many structs, unions, enums, etc. which probably makes the task of "getting it right for the subset of things that the DSP library uses" a lot easier than getting everything correct in general.

I have a suspicion that I'm just going to have to check everything manually, fix the things I can see, and hope for the best.