Type Definition typenum::P432

type P432 = PInt<U432>;