Type Definition typenum::consts::P420

type P420 = PInt<U420>;