Type Definition typenum::P524288

type P524288 = PInt<U524288>;