Type Definition typenum::P637

type P637 = PInt<U637>;