Merge pull request #18 from pestphp/feature/round-down

fix: improve rounding for total coverage

src/Result.php

@@ -77,7 +77,7 @@ public static function fromPHPStanErrors(string $file, array $phpstanErrors, arr
             $propertyCoverage,
             $paramCoverage,
             $returnTypeCoverage,
-            (int) round(($propertyCoverage + $paramCoverage + $returnTypeCoverage) / 3),
+            (int) round(($propertyCoverage + $paramCoverage + $returnTypeCoverage) / 3, mode: PHP_ROUND_HALF_DOWN),
         );
     }
 }