Type Alias P712

pub type P712 = PInt<U712>;