Scores are sometimes rounded up

[martin3398]

We would like to have a quality gate with scores of 100%.

However, scores are formatted using number_format, so that scores are sometimes skewed.

For example, a score 99.95% is rounded to 100%, which then passes. We propose to floor the results by: floor($percentage * 10) / 10;