Type Definition typenum::P891

type P891 = PInt<U891>;