Type Definition typenum::P612

type P612 = PInt<U612>;