Type Alias P527

pub type P527 = PInt<U527>;