Type Definition typenum::consts::P577

type P577 = PInt<U577>;