Type Definition typenum::P900

type P900 = PInt<U900>;