pub const DEFAULT_MOD: u64 = _; // 2_305_843_009_213_693_951u64
Default modulus (a known large prime).