Type Definition typenum::P544

type P544 = PInt<U544>;