no longer maintained upstream and no longer useful since our arm arch unconditionally supports floating point.