Merge pull request #822 from FioraAeterna/integerflush2 JIT: flush *after* the merged branch, not before
