Proposal: Rounding Up The Score
Popular, 4-0. Enacted by JonathanDark.
Adminned at 15 Jun 2024 01:14:28 UTC
In the rule “Scoring”, replace “which is a number between 1 and 10 inclusive” with “which is an integer between 1 and 10 inclusive”.
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.
Desertfrog: Jury