Type Alias P512

pub type P512 = PInt<U512>;