Type Definition P1000000000000000000
typenum::consts
type P1000000000000000000 = PInt<U1000000000000000000>;