Type Alias P870

pub type P870 = PInt<U870>;