Type Definition typenum::P577

type P577 = PInt<U577>;