Type Definition typenum::consts::N770

type N770 = NInt<U770>;