Type Alias P525

pub type P525 = PInt<U525>;