Type Definition typenum::P925

type P925 = PInt<U925>;