Upgrade to latest SoftFloat