Type Alias P456

pub type P456 = PInt<U456>;