Zefram wrote:
Amend rule 1023 by deleting the item
(a) The term "number" shall mean "real number".
[Each instance of "number" in the ruleset either is discussing a value
that is inherently a natural number or is explicitly qualified as
"rational" or some other subset of the real numbers.]
Rule 2136 (Contests) does not explicitly specify that scores are
real, not to mention whatever future rules might be adopted.
Here are all the ruleset's uses of "number":
* Power (non-negative rational, R1688)
* Rule number (natural, R2141)
* Index (extended real, R2146)
* Number of ballots (presumably natural, but what happens when
Quazie attempts to vote 2+3i x FOR? R683)
* Number of voters who voted (inherently natural, R955)
* Quorum (inherently natural, R879)
* Number of eligible voters (inherently natural, R2019)
* Length of sentence (1*Power or 2*Power, R1504)
* Score (unspecified, R2136)
Never mind all the rules that carry out mathematics without using
"number", in which case R1023(a) may not apply anyway. I suggest
amending it to "All mathematics is restricted to real numbers
unless explicitly specified otherwise".
