Type Definition typenum::consts::P400

type P400 = PInt<U400>;