Type Definition typenum::P920

type P920 = PInt<U920>;