[][src]Type Definition typenum::N825

type N825 = NInt<U825>;