Type Definition typenum::P139

type P139 = PInt<U139>;