qualia_core_db/solvers/exact/mod.rs
1//! Exact / arbitrary-precision arithmetic — the §3.1 "exact computation"
2//! foundation.
3//!
4//! - [`bigint::BigInt`] — arbitrary-precision signed integer (sign + little-
5//! endian `u32` magnitude, schoolbook multiply, Knuth long division).
6//! - [`rational::BigRational`] — exact rational over `BigInt`, always reduced
7//! and sign-normalised.
8//!
9//! These are heap-backed and live deliberately **off** the zero-heap hot path.
10//! Fallible operations (zero divisor / zero denominator) fail closed with
11//! `Option`/`Result` and never fabricate a value.
12
13pub mod bigint;
14pub mod rational;
15
16pub use bigint::BigInt;
17pub use rational::BigRational;