pub type mp_digit = u32;