Constant to_digit 

pub const to_digit: Symbol;