Type Definition typenum::P582

type P582 = PInt<U582>;