Type Definition typenum::P444

type P444 = PInt<U444>;