Type Alias P1000

pub type P1000 = PInt<U1000>;