Type Alias P425

pub type P425 = PInt<U425>;