Type Definition typenum::consts::P572

type P572 = PInt<U572>;