I recently wrote the opinion that std should probably not gain a NotNaN/NonNaN wrapper type, because it’s unclear what the behavior of most operations under that restriction should be. I now think that was too strong a statement; a type which simply does not have any operations other than those which naturally do not produce NaN, and which can provide niches, Eq, and Ord, does seem worthwhile.
5 Likes