Type Alias P520

pub type P520 = PInt<U520>;