style guidelines w/ or w/o overflow checking

* Recommended unsigned or signed integer types for numbers that
should not be negative -- depending on whether Rust provides integer
overflow checking.

* Crisper integer style guideline section.