Type Definition typenum::P18014398509481984

type P18014398509481984 = PInt<U18014398509481984>;