Type Definition typenum::P454

type P454 = PInt<U454>;