[][src]Type Definition typenum::N125

type N125 = NInt<U125>;