Type Definition typenum::P894

type P894 = PInt<U894>;