Type Alias P617

pub type P617 = PInt<U617>;