In an earlier version, 11.0 (was it), they used to round up to the nearest decimal, instead of integer, in the library browser.
I used to use 2 digits after the decimal at the time but changed to just 1, which was ideal.
The half-ratings stars has been a request for some time now.