Type Definition typenum::consts::P402

type P402 = PInt<U402>;