Type Definition typenum::P647

type P647 = PInt<U647>;