[][src]Type Definition typenum::consts::N777

type N777 = NInt<U777>;