Type Definition typenum::P907

type P907 = PInt<U907>;