Type Definition typenum::consts::N125

type N125 = NInt<U125>;