Type Alias SafeUint

Namespace providing type-safe operations for the SafeUint branded type.

The SafeUint type represents a non-negative safe integer. Division (div) uses floor division.