Type Definition typenum::P430

type P430 = PInt<U430>;