Type Alias P880

pub type P880 = PInt<U880>;