Type Definition typenum::P452

type P452 = PInt<U452>;