Type Alias N823

pub type N823 = NInt<U823>;