Would it be easy/possible to have a NonNaN tag type with taghiro?

[Wizek]

I've heard about this library over here: microsoft/TypeScript#4895 (comment)

...and begun to wonder, would it be easy/possible to have a NonNaN tag type with taghiro? If so, then maybe already this tool could help me out. I have some relatively involved calculations in TypeScript, and some NaNs inexplicably seep in from one place or another. Would be nice to disallow them on the type level and hence find & eliminate their source.

It seems the scala library (called 'refined') that this library is said to have been inspired by does appear to have NonNaN built in! Take a look here.