Sometimes it is obvious that a number cannot be negative (or zero). It is also true of fixed point numbers.
Given this, it would be nice if Fixed supported using the extra bit for the precision, e.g.
The implementations for cadd, csub etc. need to be adjusted accordingly.