softfloat: use float{32,64,x80,128}_maybe_silence_nan()