Some prior art: (Pre-?)Pre-RFC: Range-restricting wrappers for floating-point types
I definitely want non-NaN types. I think they’re the best answer to “why can’t I sort floats” question. But there does seem to be disagreement about how math should work on them. (Some prefer the noisy-float solution.)