pub const ZERO_BIG_DIGIT: u32 = 0; // 0x0000_0000u32