Because in Poka theme the ratings are stars icons and not numbers even if we added decimal numbers in the backend it would be rounded to an integer in the frontend because of the stars icons, so it wouldn’t make sense. (maybe it make sense only for the rating order in the reviews table).
But we are thinking adding a half star rating option in the next version.
What were your thoughts about decimals in ratings? For the frontend or for the sorting by ratings?