Integers

A simple library that implements limits for the precise uint*_t and int*_t types from stdint.h.

Correctness is important. Therefore mathematical proofs for all implementations are embedded as comments.