Type Alias N813

pub type N813 = NInt<U813>;