I submit the following Proposal, Limit Numerical silliness, AI-2:
------------------------------------------------------------------------
Amend Rule 2509 (Numerical Switches) by inserting the following text
before the first paragraph:
A "number" is considered to refer to a real number, unless
otherwise explicitly specified. A "number of (items)", where
(items) is a set of discrete entities, is considered to refer to
a non-negative integer, unless otherwise explicitly specified.
Change the title of R2509 to 'Agoran Numbers'.
------------------------------------------------------------------------
