const SYMBOL_DIGITS_BASE: u32 = 1752u32;