Type Alias N523

pub type N523 = NInt<U523>;