Type Definition typenum::P467

type P467 = PInt<U467>;