Type Alias P100000000000000

pub type P100000000000000 = PInt<U100000000000000>;