Type Definition typenum::N773

type N773 = NInt<U773>;