Plugin Rating stars is incorrect

[pento]

The stars rating doesn't reflect the average rating correctly.

For example:
​http://wordpress.org/extend/plugins/automatic-updater/

At the time of reporting, there were 13 ratings: 9*5, 3*4, 1*1, for an average of 4.46, shown correctly in the text as "4.5 out of 5 stars".

The star rating doesn't seem to be using the same number, however - it should be 89.2% (or 90%, if it uses the rounded up "4.5" as the rating), but is showing as 82%.

It's a width of 82 pixels (not percentage) because it is out of 92 pixels. It might look slightly off because of the way the star borders add the slightest bit to the edges, plus pixel rounding, etc.

4.46 / 5 * 92 = 82.064

I'm totally blaming the jetlag.

The stars image is incorrect, then - 4.5/5 should take up half of the 5th star, but it takes up slightly less.