Type Definition typenum::P572

type P572 = PInt<U572>;