Type Definition typenum::N77

type N77 = NInt<U77>;