Message12034

I have changed https://github.com/jythontools/jython/pull/102 to add special casing for the min int case.

I have realised why the benchmark was wrong and it was stupid. I never actually called the function I had:
    timeit.timeit('print_int', setup="from __main__ import print_int", number=1000000000)
when it should have been:
   timeit.timeit('print_int()', setup="from __main__ import print_int", number=1000000000)

So I guess looking up a function in the globals is faster in Jython for what that's worth.