Type Definition typenum::consts::P578

type P578 = PInt<U578>;