Type Definition typenum::consts::P900

type P900 = PInt<U900>;