Type Definition typenum::N17592186044416

type N17592186044416 = NInt<U17592186044416>;