Type Definition typenum::P144

type P144 = PInt<U144>;