Type Definition P10000000000000000
typenum::consts
type P10000000000000000 = PInt<U10000000000000000>;