Type Definition P100000000000000000
typenum::consts
type P100000000000000000 = PInt<U100000000000000000>;