Type Definition typenum::P130

type P130 = PInt<U130>;