Type Definition typenum::P825

type P825 = PInt<U825>;