handle ashr on >64 bits