Type Alias P825

pub type P825 = PInt<U825>;