michael-roe
michael-roe
Testing for the other classes of floating point is easy: ``` fun isZero (x) = Double.= x zero; fun isInfinite(x) = Double.= x negInf orelse Double.= x posInf; fun isNaN(x)...
I’ll just add that the rva22u64 profile also includes bitmap instructions, which some of the kernels might be able to use (e.g. there’s a popcount instruction).
I, too, would like this. It’s presumably not that hard to do, as all you need to do is put combining dot below or above on a few characters.