Type Definition typenum::P885

type P885 = PInt<U885>;