[][src]Type Definition typenum::N677

type N677 = NInt<U677>;