pub const DEFAULT_BUDGET: u32 = 4096;
The precision budget, in bits, of a comparison whose budget the caller does not state.