What about PyPy? It generates native (JIT) code and run as fast as C.
For example, if you modify C compiler to make integer operations clamp at min/max rather than overflowing, it will always be times slower than original at number crunching, and there would be no way to overcome that.