Type Definition typenum::P912

type P912 = PInt<U912>;