Type Alias P10000

pub type P10000 = PInt<U10000>;