Type Definition typenum::P420

type P420 = PInt<U420>;