XRP net short hits 115.7M tokens as traders rotate out