I don't think std can model every possible subset of floats that somebody might be interested in. But that shouldn't block the introduction of a NotNull type, which has a clear benefit: it can implement Ord, Eq and Hash and thus be used as a key and for sorting. Initially it might not even be a generic type, to simplify matters.
1 Like