Type Definition typenum::consts::N802

type N802 = NInt<U802>;