Type Definition typenum::consts::N801

type N801 = NInt<U801>;