Type Alias P707

pub type P707 = PInt<U707>;