Rule 2136 is unclear regarding which types of number a score can be.
No one seems to be arguing for a particular subset of numbers, so let's
just vote on it. I hereby submit the following proposals, all of which
are disinterested (if proposal 5056 is adopted):
proposal: real scores
{{{
Amend rule 2136 by replacing the text "is eir score" with "is eir
score, which is always a real number, and scores are not categorically
prevented from being any particular real number".
[This will be overridden if "algebraic scores", "rational scores", or
"integer scores" is adopted.]
}}}
proposal: algebraic scores
{{{
Amend rule 2136 by replacing the text from "is eir score" up to but
not including the next "." with "is eir score, which is always an
algebraic real number, and scores are not categorically prevented from
being any particular algebraic real number".
[If this is adopted, it overrides "real scores". It will be
overridden if "rational scores" or "integer scores" is adopted.]
}}}
proposal: rational scores
{{{
Amend rule 2136 by replacing the text from "is eir score" up to but
not including the next "." with "is eir score, which is always a
rational number, and scores are not categorically prevented from being
any particular rational number".
[If this is adopted, it overrides "real scores" and "algebraic
scores". It will be overridden if "integer scores" is adopted.]
}}}
proposal: integer scores
{{{
Amend rule 2136 by replacing the text from "is eir score" up to but
not including the next "." with "is eir score, which is always an
integer".
[If this is adopted, it overrides "real scores", "algebraic scores",
and "rational scores".]
}}}
-zefram
