Type Alias P457

pub type P457 = PInt<U457>;