The source project of this merge request has been removed.
Fix rounding error in ScoreBasedScoreCalculator
Cast int to double before division to avoid truncation of the division result. Changed corresponding test so that it fails with the old implementation.