> “Each player has a positive integer of Coins, defaulting to 0”

I’m not actually sure what this does. 0 is not a positive integer.

I think technically it might infinitely loop resetting players coins to 0 per “If the rules that define a game variable are amended, and some previously valid values become invalid as a consequence, any existing variables whose current values would become invalid are instead set to their starting value.” There do not appear to be any rules in place that explains what happens when the default/starting value is itself invalid.

Maybe non negative should been a better word….

Pro tip: if you simply say it’s a number, the appendix gives you non-negative and a default (and starting value) of 0 for free:

“If a set of valid values is not specified in their definition, game variables defined to hold numeric values can hold only non-negative integers.”

“If a game variable has neither a default value nor a starting value, then both may be considered to be the nearest legal value to zero that it may take…”

Mm… CoV

cov