softfloat: add float{x80,128}_maybe_silence_nan()