Type Alias N800

pub type N800 = NInt<U800>;