JIT64: various integer optimizations