Type Definition typenum::consts::P480

type P480 = PInt<U480>;