A couple of times I was in a situation, where I had two algorithms solving
the same problem, one which was faster and one which was more numerically
stable. Now for some types of numbers (FloatingPoint, Complex{Float64}...)
numerical stability is important while for others it does not matter (e.g.
Integer, Complex{Int64}...) etc.
In such situations it would be handy to have a mechanism (a trait) which
decides whether a type is exact or prone to rounding.
Maybe there is already such a thing somewhere?
