Type Definition typenum::P473

type P473 = PInt<U473>;