https://people.eecs.berkeley.edu/~wkahan/UnumSORN.pdf Prof Kahan, who pretty much invented IEEE 754 floating point arithmetic, debunks unums. Unums pop up now and then with "why don't we support them?" The bottom line is there is no magic solution to floating point problems. Unums just trade one set of problems for another.