Redundancy in final Statistics list should also have non-integer values
At the moment it seems that the redundancy is rounded to the next smaller integer values in the stats.
At the moment it seems that the redundancy is rounded to the next smaller integer values in the stats.