Type Definition typenum::P144115188075855872

type P144115188075855872 = PInt<U144115188075855872>;