Type Definition typenum::P402

type P402 = PInt<U402>;