Type Definition typenum::P17592186044416

type P17592186044416 = PInt<U17592186044416>;