Type Definition typenum::consts::P825

type P825 = PInt<U825>;