Type Definition typenum::consts::N9007199254740992

type N9007199254740992 = NInt<U9007199254740992>;