Type Definition typenum::P489

type P489 = PInt<U489>;