These integer types use checked arithmetic, otherwise they are as system types.

A number format that inspects your code by logging the arithmetic results.

💫 A library for working with ring-like algebraic structures that implements some common semirings

A small single-header library to detect integer overflow/underflow before it happens.

Universal Number Arithmetic. Posits with underflow support.

VirtualBox E1000 Guest-to-Host Escape

Vulnerabilities && Safety

Vulnerable codes and their fix in C (Over & Underflows)