Type Definition typenum::P556

type P556 = PInt<U556>;