Type Definition typenum::P564

type P564 = PInt<U564>;