[][src]Type Definition typenum::N688

type N688 = NInt<U688>;