Type Alias P709

pub type P709 = PInt<U709>;