461d4da338
and software versions of the floating point code in libm. The runtime selection was done by reading the hw.floatingpoint sysctl via __get_hw_float().