Type Definition typenum::P893

type P893 = PInt<U893>;