[][src]Type Definition typenum::N762

type N762 = NInt<U762>;