proto-proposal: renumeration
AI: 2
{{{
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.]
}}}
-zefram
