Finite{F32,F64} in std?

Perhaps (Pre-?)Pre-RFC: Range-restricting wrappers for floating-point types is the closest to relevant. Searching for NonNan in particular gets a few more.