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.