Type Definition typenum::P557

type P557 = PInt<U557>;