Friday, June 14, 2024

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.



14-06-2024 11:52:40 UTC


Darknight: he/him

14-06-2024 21:10:16 UTC



14-06-2024 23:12:42 UTC

for for simplicity.