pub const DEFAULT_MAX_INT_DIGITS: u32 = 4_300;
The reference default for the maximum integer digits (spec section 2.4).