axiolid_guarantees/
precision.rs

1/// Arithmetic precision accepted or required by an operation.
2#[non_exhaustive]
3#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
4pub enum Precision {
5    /// IEEE single precision.
6    F32,
7    /// IEEE double precision.
8    F64,
9    /// Deliberate mixed-precision path with documented error bounds.
10    Mixed,
11    /// Exact arithmetic: the result carries no rounding error at all.
12    Exact,
13}