Thanks for the direct evidence that the output NaN is not required to be one of the input NaNs.