Type Definition typenum::consts::N522

type N522 = NInt<U522>;