Type Alias P700

pub type P700 = PInt<U700>;