Type Definition typenum::P480

type P480 = PInt<U480>;