Type Definition typenum::P638

type P638 = PInt<U638>;