Type Definition typenum::P472

type P472 = PInt<U472>;