Type Definition typenum::P555

type P555 = PInt<U555>;