Type Alias P513

pub type P513 = PInt<U513>;