Type Alias P580

pub type P580 = PInt<U580>;