JIT64: various integer optimizations

Uh, why this rename? This goes against our style guide.