Type Definition typenum::P475

type P475 = PInt<U475>;