[Pre-RFC?] NonNaN type

I just wanted to link the older, related discussion: Avoiding PartialOrd problems by introducing fast finite floating-point types

I don’t know if its good to conflate this issue with fast-math, but its not completely orthogonal imo.