Don't crash with decimal theme ratings.

A theme can have a decimal rating, but this code was assuming it was always an integer.