Soft float fallback

It would be nice to make the compiler API as consistent as possible between targets and to eliminate a failure case in the space safety theorem. I expect that this would be tedious but not technically challenging. Doing it at the basis level might be a good test case for unboxing optimizations; doing it in wordLang would be more work with no access to the translator, but could produce a better result with fewer innovations.