They are actually rounded down ( which sometimes can be a good thing )
http://zauan.github.io/Envato-Rating-Calculator/
) )