Type Alias N812

pub type N812 = NInt<U812>;