rust-lang/rfcs — pull request #45 by bill-myers (2014-04-14 18:58:45+00:00)
Title: Avoiding integer overflow

This is an RFC for avoiding integer overflow, which first discusses various options, and then focuses on and explains a specific proposal that does not make use of failure, and introduces a new kind of integer type to handle things like loop counters.