Type Alias P516

pub type P516 = PInt<U516>;