Type Definition typenum::P542

type P542 = PInt<U542>;