Type Definition typenum::P488

type P488 = PInt<U488>;