Type Alias P713

pub type P713 = PInt<U713>;