Type Definition typenum::consts::N823

type N823 = NInt<U823>;