Fixes #66 - Moves the rule governing overflow protection (1.18) to (3.17...#75

Merged

viktorklang merged 1 commit intomasterfrom

Jul 9, 2014

Commits on Jul 9, 2014

Fixes #66 - Moves the rule governing overflow protection (1.18) to (3.17) and clarifies the semantics.
viktorklang
committed