Type Alias P500

pub type P500 = PInt<U500>;