[−][src]Type Definition typenum::N801

type N801 = NInt<U801>;