Since Points is by default an integer, Score seems to be expected to be integers as well, but it actually isn’t, because the rule on numbers only requires numbers “that don’t have a specified valid range” to be integers, and Score has a specified valid range of 1-10, which allows non-integer Scores like 3.333.

I actually don’t feel that strongly about this, but I thought it would be worth bringing it to everyone’s attention out of fairness in case anyone wanted to use non-integer Scores, or if people expect everyone to use integers. If people are ok with non-integers, the next thing to consider is rational numbers, so that someone doesn’t use 𝜋 for example, since it’s technically a number between 1-10.