Type Alias P507

pub type P507 = PInt<U507>;