Proposal: Rounding errors
Timed out and passed, 10-0. Josh
Adminned at 11 Mar 2010 12:39:25 UTC
To the end of subrule 3.2.1 “Numbers and Variables”, append the following bullet point:
- If a rule implies that the result of a division should be an integer (for instance, by attempting to store that result in, or add it to, a gamestate variable that can only hold integers), the result of the division is instead the result rounded towards 0.
Because, otherwise I can’t resolve Raiding if the resources don’t divide evenly. This problem has probably come up before, and is likely to come up again, so fixing with a Glossary fix.
Kevan: he/him