Type Alias N817

pub type N817 = NInt<U817>;