pub const StringDigitSubstituteTraditional: StringDigitSubstitute = 3i32;