Type Definition typenum::P928

type P928 = PInt<U928>;