Type Definition typenum::P924

type P924 = PInt<U924>;