Type Definition typenum::P578

type P578 = PInt<U578>;