Type Alias N513

pub type N513 = NInt<U513>;