Type Alias P767

pub type P767 = PInt<U767>;