Type Definition typenum::N9007199254740992

type N9007199254740992 = NInt<U9007199254740992>;