Type Definition typenum::P10000

source · 
pub type P10000 = PInt<U10000>;