Type Definition typenum::P575

type P575 = PInt<U575>;