At the moment when a decimal rating is given, it is rejected as "not a number". For convenience it should just be rounded to the nearest integer. This issue split off from #19.
