Type Definition typenum::P550

type P550 = PInt<U550>;