Fix Composite fractions not summing to one

Several things in the check if the fractions are positive and sum to 1.0 were broken:

- the normalization was never applied
- if the sum was smaller than one, no warning was produced
- 1.0-0.8-0.2 produces a negative number and triggers an assert, but should be legal

I added some tests...