Ensure that our 32 and 64 bit ARM builders for the SDK are targeting the correct floating point modes on all platforms. It remains TBD what those settings are, or whether we will in fact need multiple SDKs for differing FP environments for some platforms.