Type Definition typenum::P642

type P642 = PInt<U642>;