Type Definition typenum::P142

type P142 = PInt<U142>;