Type Alias P80

pub type P80 = PInt<U80>;