APFloat: Make sure that we get a well-formed x87 NaN when converting from a smaller...