//! Mathematics-adjacent concepts.
use ;
/// 0, 1, 2, 3, ...
///
/// Called ℕ₀, the set of natural numbers including 0, in maths.
/// Starts at 0, extends towards ∞.
pub type Natural = BigUint;
/// ..., -2, -1, 0, 1, 2, ...
///
/// Called ℤ, the set of integers, in maths.
/// Extends from -∞ to +∞; has no finite start or end.
pub type Integer = BigInt;