Type Alias P547

pub type P547 = PInt<U547>;